Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 373, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 420, 421, 422, 423, 424, 425, 426, 427, 428, 429, 430, 431, 432, 433, 434, 435, 436, 437, 438, 439, 440, 441, 442, 443, 444, 445, 446, 447, 448, 449, 450, 451, 452, 453, 454, 455, 456, 457, 458, 459, 460, 461, 462, 463, 464, 465, 466, 467, 468, 469, 470, 471, 472, 473, 474, 475, 476, 477, 478, 479, 480, 481, 482, 483, 484, 485, 486, 487, 488, 489, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499, 500, 501, 502, 503, 504, 505, 506, 507, 508, 509, 510, 511, 512, 513, 514, 515, 516, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 531, 532, 533, 534, 535, 536, 537, 538, 539, 540, 541, 542, 543, 544, 545, 546, 547 }

B grade: { }

C grade: { }

F grade: { 370, 371, 372, 374}

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 58, 59, 60, 61, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 92, 93, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 130, 131, 132, 134, 135, 136, 137, 138, 139, 140, 141, 145, 146, 147, 148, 149, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 204, 205, 206, 207, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 227, 228, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 268, 271, 272, 273, 274, 275, 277, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 300, 302, 303, 304, 305, 306, 307, 308, 309, 331, 332, 333, 334, 335, 336, 337, 338, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 369, 370, 371, 372, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 395, 396, 399, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 420, 421, 422, 423, 424, 425, 426, 427, 428, 429, 430, 431, 433, 434, 435, 436, 437, 440, 441, 444, 445, 446, 447, 448, 449, 451, 452, 453, 454, 455, 456, 457, 458, 459, 460, 461, 462, 463, 464, 465, 466, 467, 468, 469, 470, 471, 472, 473, 475, 476, 477, 478, 479, 480, 481, 482, 483, 484, 485, 496, 497, 498, 499, 500, 501, 502, 503, 504, 505, 506, 507, 508, 509, 510, 511, 512, 513, 514, 515, 516, 517, 518, 519, 521, 523, 524, 525, 526, 527, 528, 529, 530, 534, 539, 540, 541, 542, 543, 544, 545, 546, 547 }

B grade: { 56, 57, 62, 63, 94, 95, 128, 129, 133, 225, 226, 229, 230, 231, 278, 339, 340, 341, 342, 343, 394, 397, 398, 432, 438, 439, 442, 443, 450, 474, 522, 531, 532, 533, 535, 536, 537, 538 }

C grade: { 142, 143, 144, 150, 151, 203, 208, 266, 267, 269, 270, 293, 294, 295, 296, 297, 298, 299, 301, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 486, 487, 488, 489, 490, 491, 492, 493, 494, 495 }

F grade: { 91, 276, 368, 373, 520}

2.1.3 Maple

A grade: { 1, 2, 3, 4, 6, 7, 8, 19, 20, 33, 38, 39, 47, 64, 65, 66, 70, 71, 72, 75, 76, 77, 78, 81, 82, 83, 84, 92, 93, 98, 99, 103, 104, 108, 109, 110, 114, 115, 116, 120, 121, 122, 127, 132, 137, 140, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 163, 164, 165, 166, 167, 168, 169, 174, 179, 195, 196, 197, 209, 213, 214, 215, 216, 234, 235, 236, 237, 238, 239, 240, 241, 279, 281, 303, 309, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 346, 350, 354, 375, 376, 377, 381, 395, 396, 399, 400, 402, 403, 407, 423, 444, 448, 449, 453, 454, 458, 459, 463, 464, 468, 469, 473, 477, 481, 484, 496, 497, 498, 499, 500, 501, 502, 503, 504, 505, 507, 508, 509, 510, 511, 512, 513, 517, 540, 541, 542, 543, 544, 545, 546, 547 }

B grade: { 67, 68, 69, 73, 74, 79, 80, 175, 176, 177, 178, 180, 181, 182, 183, 184, 185, 186, 187, 188, 280, 282, 351, 352, 353, 355, 356, 357 }

C grade: { 17, 18, 21, 22, 23, 35, 36, 37, 40, 41, 42, 43, 44, 45, 46, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 60, 61, 62, 63, 85, 86, 87, 91, 97, 102, 217, 218, 219, 220, 221, 222, 223, 226, 227, 231, 232, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 304, 305, 306, 307, 308, 322, 331, 343, 344, 345, 349, 358, 359, 360, 361, 362, 363, 364, 365, 366, 379, 380, 382, 383, 384, 385, 386, 387, 388, 389 }

F grade: { 5, 9, 10, 11, 12, 13, 14, 15, 16, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 58, 59, 88, 89, 90, 94, 95, 96, 100, 101, 105, 106, 107, 111, 112, 113, 117, 118, 119, 123, 124, 125, 126, 128, 129, 130, 131, 133, 134, 135, 136, 138, 139, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 162, 170, 171, 172, 173, 189, 190, 191, 192, 193, 194, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 210, 211, 212, 224, 225, 228, 229, 230, 233, 275, 276, 277, 278, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 323, 324, 325, 326, 327, 328, 329, 330, 347, 348, 367, 368, 369, 370, 371, 372, 373, 374, 378, 390, 391, 392, 393, 394, 397, 398, 401, 404, 405, 406, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 420, 421, 422, 424, 425, 426, 427, 428, 429, 430, 431, 432, 433, 434, 435, 436, 437, 438, 439, 440, 441, 442, 443, 445, 446, 447, 450, 451, 452, 455, 456, 457, 460, 461, 462, 465, 466, 467, 470, 471, 472, 474, 475, 476, 478, 479, 480, 482, 483, 485, 486, 487, 488, 489, 490, 491, 492, 493, 494, 495, 506, 514, 515, 516, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 531, 532, 533, 534, 535, 536, 537, 538, 539 }

2.1.4 Maxima

A grade: { 3, 4, 5, 6, 7, 8, 13, 14, 15, 16, 20, 32, 37, 38, 39, 41, 42, 46, 64, 65, 66, 67, 68, 69, 70, 73, 74, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 92, 93, 98, 99, 103, 104, 108, 109, 110, 114, 115, 116, 120, 121, 122, 127, 132, 137, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 163, 164, 165, 166, 167, 168, 195, 196, 197, 209, 214, 215, 216, 234, 235, 236, 237, 238, 239, 240, 241, 252, 303, 304, 307, 308, 332, 345, 346, 350, 358, 359, 360, 361, 363, 364, 365, 366, 375, 376, 379, 380, 381, 395, 396, 399, 400, 402, 403, 406, 407, 419, 421, 422, 423, 425, 426, 429, 430, 431, 444, 448, 449, 453, 454, 458, 459, 463, 464, 468, 469, 473, 477, 481, 496, 497, 498, 499, 500, 501, 502, 503, 504, 505, 507, 508, 509, 510, 511, 512, 540, 541, 542, 543, 544, 545, 546, 547

B grade: { 1, 2, 17, 18, 19, 35, 36, 43, 44, 45, 47, 52, 53, 54, 55, 60, 61, 71, 75, 175, 176, 177, 178, 179, 183, 184, 185, 186, 187, 188, 189, 190, 279, 280, 305, 337, 338, 339, 340, 341, 342, 404, 405, 420, 427, 428, 435, 436, 437, 441 }

C grade: { 9, 10, 11, 12 }

F grade: { 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 40, 48, 49, 50, 51, 56, 57, 58, 59, 62, 63, 72, 88, 89, 90, 91, 94, 95, 96, 97, 100, 101, 102, 105, 106, 107, 111, 112, 113, 117, 118, 119, 123, 124, 125, 126, 128, 129, 130, 131, 133, 134, 135, 136, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 162, 169, 170, 171, 172, 173, 174, 180, 181, 182, 191, 192, 193, 194, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 210, 211, 212, 213, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 306, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 333, 334, 335, 336, 343, 344, 347, 348, 349, 351, 352, 353, 354, 355, 356, 357, 362, 367, 368, 369, 370, 371, 372, 373, 374, 377, 378, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 397, 398, 401, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 424, 432, 433, 434, 438, 439, 440, 442, 443, 445, 446, 447, 450, 451, 452, 455, 456, 457, 460, 461, 462, 465, 466, 467, 470, 471, 472, 474, 475, 476, 478, 479, 480, 482, 483, 484, 485, 486, 487, 488, 489, 490, 491, 492, 493, 494, 495, 506, 513, 514, 515, 516, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 531, 532, 533, 534, 535, 536, 537, 538, 539 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 16, 20, 21, 22, 31, 33, 34, 38, 39, 41, 64, 65, 66, 67, 68, 69, 70, 71, 72, 75, 76, 81, 82, 85, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 103, 104, 138, 139, 140, 141, 152, 153, 154, 155, 163, 164, 165, 166, 167, 168, 173, 174, 175, 176, 177, 178, 179, 183, 184, 185, 186, 191, 192, 193, 194, 195, 196, 197, 212, 213, 214, 215, 216, 234, 235, 236, 237, 238, 239, 240, 241, 252, 268, 279, 281, 303, 304, 307, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 346, 350, 375, 376, 377, 379, 380, 381, 395, 396, 399, 400, 402, 403, 407, 408, 409, 418, 422, 423, 425, 444, 445, 446, 447, 448, 449, 450, 451, 452, 453, 454, 458, 459, 483, 484, 485, 496, 497, 498, 499, 507, 508, 509, 510, 511, 512, 516, 517, 540, 541, 542, 543, 544, 545, 546, 547 }

B grade: { 17, 18, 19, 23, 35, 36, 37, 42, 43, 44, 45, 46, 47, 52, 53, 54, 55, 60, 61, 100, 101, 102, 142, 143, 144, 187, 305, 308, 404, 405, 406, 410, 420, 421, 426, 427, 428, 429, 430, 431, 435, 436, 437, 441, 455, 456, 457, 482, 486, 487, 488 }

C grade: { }

F grade: { 9, 10, 11, 12, 13, 14, 15, 24, 25, 26, 27, 28, 29, 30, 32, 40, 48, 49, 50, 51, 56, 57, 58, 59, 62, 63, 73, 74, 77, 78, 79, 80, 83, 84, 86, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 145, 146, 147, 148, 149, 150, 151, 156, 157, 158, 159, 160, 161, 162, 169, 170, 171, 172, 180, 181, 182, 188, 189, 190, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 280, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 306, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 343, 344, 345, 347, 348, 349, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 378, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 397, 398, 401, 411, 412, 413, 414, 415, 416, 417, 419, 424, 432, 433, 434, 438, 439, 440, 442, 443, 460, 461, 462, 463, 464, 465, 466, 467, 468, 469, 470, 471, 472, 473, 474, 475, 476, 477, 478, 479, 480, 481, 489, 490, 491, 492, 493, 494, 495, 500, 501, 502, 503, 504, 505, 506, 513, 514, 515, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 531, 532, 533, 534, 535, 536, 537, 538, 539 }

2.1.6 Sympy

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 11, 12, 13, 16, 17, 18, 19, 20, 33, 35, 36, 37, 38, 39, 44, 45, 46, 47, 52, 53, 54, 55, 60, 61, 64, 65, 66, 67, 68, 69, 70, 76, 79, 80, 82, 83, 84, 85, 87, 92, 98, 103, 108, 109, 114, 127, 132, 139, 140, 141, 154, 155, 157, 158, 160, 174, 176, 177, 178, 179, 186, 195, 234, 235, 236, 238, 239, 303, 304, 305, 332, 346, 375, 379, 380, 381, 402, 403, 404, 405, 406, 407, 420, 421, 422, 423, 425, 428, 429, 430, 431, 435, 436, 437, 441, 444, 448, 463, 464, 473, 477, 483, 484, 485, 498, 501, 504, 517, 540, 541 }

B grade: { 175, 183, 184, 185, 187 }

C grade: { 72, 73, 74, 75, 77, 78, 81 }

F grade: { 9, 10, 14, 15, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 40, 41, 42, 43, 48, 49, 50, 51, 56, 57, 58, 59, 62, 63, 71, 86, 88, 89, 90, 91, 93, 94, 95, 96, 97, 99, 100, 101, 102, 104, 105, 106, 107, 110, 111, 112, 113, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 128, 129, 130, 131, 133, 134, 135, 136, 137, 138, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 156, 159, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 180, 181, 182, 188, 189, 190, 191, 192, 193, 194, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 237, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 376, 377, 378, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 424, 426, 427, 432, 433, 434, 438, 439, 440, 442, 443, 445, 446, 447, 449, 450, 451, 452, 453, 454, 455, 456, 457, 458, 459, 460, 461, 462, 465, 466, 467, 468, 469, 470, 471, 472, 474, 475, 476, 478, 479, 480, 481, 482, 486, 487, 488, 489, 490, 491, 492, 493, 494, 495, 496, 497, 499, 500, 502, 503, 505, 506, 507, 508, 509, 510, 511, 512, 513, 514, 515, 516, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 531, 532, 533, 534, 535, 536, 537, 538, 539, 542, 543, 544, 545, 546, 547 }

2.1.7 Giac

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 11, 12, 20, 21, 33, 39, 41, 64, 65, 66, 67, 68, 69, 70, 76, 82, 85, 88, 89, 90, 91, 92, 93, 98, 99, 103, 104, 108, 109, 110, 114, 115, 116, 120, 121, 122, 127, 132, 137, 140, 141, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 163, 164, 165, 166, 167, 168, 174, 176, 177, 178, 179, 196, 197, 213, 214, 215, 216, 234, 235, 236, 237, 238, 239, 240, 241, 252, 268, 307, 332, 346, 350, 375, 376, 377, 381, 395, 396, 399, 400, 402, 403, 407, 408, 423, 425, 444, 445, 446, 447, 448, 449, 453, 454, 458, 459, 463, 464, 468, 469, 473, 477, 481, 484, 485, 496, 497, 498, 499, 500, 501, 502, 503, 504, 505, 507, 508, 509, 510, 511, 512, 513, 517, 540, 541, 542, 543, 544, 545, 546, 547 }

B grade: { 17, 18, 19, 22, 23, 35, 36, 37, 38, 42, 43, 44, 45, 46, 47, 52, 53, 54, 55, 60, 61, 87, 94, 95, 96, 97, 100, 101, 102, 142, 175, 183, 184, 185, 186, 187, 195, 303, 304, 305, 308, 379, 380, 404, 405, 406, 409, 410, 420, 421, 422, 426, 427, 428, 429, 430, 431, 435, 436, 437, 441, 450, 451, 452, 456, 457, 486, 487 }

C grade: { }

F grade: { 9, 10, 13, 14, 15, 16, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 40, 48, 49, 50, 51, 56, 57, 58, 59, 62, 63, 71, 72, 73, 74, 75, 77, 78, 79, 80, 81, 83, 84, 86, 105, 106, 107, 111, 112, 113, 117, 118, 119, 123, 124, 125, 126, 128, 129, 130, 131, 133, 134, 135, 136, 138, 139, 143, 144, 145, 146, 147, 148, 149, 150, 151, 162, 169, 170, 171, 172, 173, 180, 181, 182, 188, 189, 190, 191, 192, 193, 194, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 306, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 347, 348, 349, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 378, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 397, 398, 401, 411, 412, 413, 414, 415, 416, 417, 418, 419, 424, 432, 433, 434, 438, 439, 440, 442, 443, 455, 460, 461, 462, 465, 466, 467, 470, 471, 472, 474, 475, 476, 478, 479, 480, 482, 483, 488, 489, 490, 491, 492, 493, 494, 495, 506, 514, 515, 516, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 531, 532, 533, 534, 535, 536, 537, 538, 539 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac{\text{antiderivative leaf size}}{\text{optimal antiderivative leaf size}}\)










Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 81 81 74 129 254 192 88 124
normalized size 1 1. 0.91 1.59 3.14 2.37 1.09 1.53
time (sec) N/A 0.035 0.008 0.06 1.256 1.842 0.628 1.301


















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 57 98 169 143 68 96
normalized size 1 1. 0.93 1.61 2.77 2.34 1.11 1.57
time (sec) N/A 0.027 0.006 0.063 1.124 1.861 0.456 1.298


















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 40 67 96 99 46 68
normalized size 1 1. 0.98 1.63 2.34 2.41 1.12 1.66
time (sec) N/A 0.018 0.004 0.056 1.09 1.857 0.433 1.137


















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 21 36 42 53 26 45
normalized size 1 1. 1. 1.71 2. 2.52 1.24 2.14
time (sec) N/A 0.008 0.004 0.064 1.126 1.834 0.372 1.174


















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 15 0 23 45 12 22
normalized size 1 1. 1. 0. 1.53 3. 0.8 1.47
time (sec) N/A 0.009 0.008 180. 1.115 2.002 0.765 1.275


















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 36 54 27 113 29 51
normalized size 1 1. 1. 1.5 0.75 3.14 0.81 1.42
time (sec) N/A 0.015 0.013 0.059 1.121 1.915 0.871 1.249


















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 47 85 28 169 48 81
normalized size 1 1. 0.75 1.35 0.44 2.68 0.76 1.29
time (sec) N/A 0.024 0.016 0.061 1.129 1.888 0.918 1.272


















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 57 116 27 220 71 109
normalized size 1 1. 0.67 1.36 0.32 2.59 0.84 1.28
time (sec) N/A 0.033 0.019 0.059 1.146 1.92 0.86 1.212


















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F C F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 75 0 105 0 0 0
normalized size 1 1. 0.77 0. 1.07 0. 0. 0.
time (sec) N/A 0.05 0.013 0.327 1.152 0. 0. 0.


















Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F C F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 63 0 88 0 0 0
normalized size 1 1. 0.85 0. 1.19 0. 0. 0.
time (sec) N/A 0.038 0.01 0.276 1.173 0. 0. 0.


















Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F C F(-2) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 50 0 66 0 90 74
normalized size 1 1. 1. 0. 1.32 0. 1.8 1.48
time (sec) N/A 0.031 0.009 0.342 1.216 0. 4.119 1.311


















Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F C F(-2) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 25 0 34 0 63 35
normalized size 1 1. 1. 0. 1.36 0. 2.52 1.4
time (sec) N/A 0.022 0.002 0.229 1.226 0. 5.086 1.317


















Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A F(-2) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 49 49 58 0 61 0 92 0
normalized size 1 1. 1.18 0. 1.24 0. 1.88 0.
time (sec) N/A 0.03 0.024 0.259 1.259 0. 143.548 0.


















Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 77 77 72 0 61 0 0 0
normalized size 1 1. 0.94 0. 0.79 0. 0. 0.
time (sec) N/A 0.038 0.029 0.272 1.261 0. 0. 0.


















Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 101 101 85 0 61 0 0 0
normalized size 1 1. 0.84 0. 0.6 0. 0. 0.
time (sec) N/A 0.049 0.034 0.344 1.29 0. 0. 0.


















Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 45 45 45 0 72 66 54 0
normalized size 1 1. 1. 0. 1.6 1.47 1.2 0.
time (sec) N/A 0.028 0.016 0.224 1.251 2.155 42.028 0.


















Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 131 131 112 15871 675 1312 1059 1050
normalized size 1 1. 0.85 121.15 5.15 10.02 8.08 8.02
time (sec) N/A 0.074 0.055 1.475 1.203 2.037 9.237 1.277


















Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 99 99 85 4872 381 699 527 552
normalized size 1 1. 0.86 49.21 3.85 7.06 5.32 5.58
time (sec) N/A 0.053 0.011 0.688 1.192 1.992 3.883 1.277


















Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 59 130 177 311 211 240
normalized size 1 1. 0.91 2. 2.72 4.78 3.25 3.69
time (sec) N/A 0.035 0.009 0.078 1.299 1.971 1.509 1.309


















Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 29 29 29 36 54 93 42 62
normalized size 1 1. 1. 1.24 1.86 3.21 1.45 2.14
time (sec) N/A 0.015 0.006 0.059 1.11 2.066 0.567 1.243


















Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 63 312 0 113 0 66
normalized size 1 1. 1. 4.95 0. 1.79 0. 1.05
time (sec) N/A 0.055 0.066 0.527 0. 1.948 0. 1.166


















Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 96 96 123 457 0 292 0 414
normalized size 1 1. 1.28 4.76 0. 3.04 0. 4.31
time (sec) N/A 0.061 0.066 0.541 0. 1.963 0. 1.248


















Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 135 135 144 735 0 632 0 1785
normalized size 1 1. 1.07 5.44 0. 4.68 0. 13.22
time (sec) N/A 0.081 0.095 0.543 0. 2.044 0. 1.328


















Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 179 179 152 0 0 0 0 0
normalized size 1 1. 0.85 0. 0. 0. 0. 0.
time (sec) N/A 0.148 0.215 0.717 0. 0. 0. 0.


















Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 143 143 127 0 0 0 0 0
normalized size 1 1. 0.89 0. 0. 0. 0. 0.
time (sec) N/A 0.107 0.067 0.507 0. 0. 0. 0.


















Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 111 111 106 0 0 0 0 0
normalized size 1 1. 0.95 0. 0. 0. 0. 0.
time (sec) N/A 0.091 0.046 0.441 0. 0. 0. 0.


















Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 80 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.073 0.016 0.454 0. 0. 0. 0.


















Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 139 0 0 0 0 0
normalized size 1 1. 1.2 0. 0. 0. 0. 0.
time (sec) N/A 0.101 0.116 0.526 0. 0. 0. 0.


















Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 156 156 163 0 0 0 0 0
normalized size 1 1. 1.04 0. 0. 0. 0. 0.
time (sec) N/A 0.12 0.176 0.522 0. 0. 0. 0.


















Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 192 192 203 0 0 0 0 0
normalized size 1 1. 1.06 0. 0. 0. 0. 0.
time (sec) N/A 0.149 0.216 0.453 0. 0. 0. 0.


















Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 103 103 103 0 0 143 0 0
normalized size 1 1. 1. 0. 0. 1.39 0. 0.
time (sec) N/A 0.059 0.094 0.463 0. 2.237 0. 0.


















Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 88 88 88 0 80 0 0 0
normalized size 1 1. 1. 0. 0.91 0. 0. 0.
time (sec) N/A 0.068 0.05 0.267 1.306 0. 0. 0.


















Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 26 0 50 42 31
normalized size 1 1. 1. 1.3 0. 2.5 2.1 1.55
time (sec) N/A 0.047 0.027 0.11 0. 1.97 45.014 1.298


















Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 42 0 0 63 0 0
normalized size 1 1. 1. 0. 0. 1.5 0. 0.
time (sec) N/A 0.076 0.022 1.007 0. 2.088 0. 0.


















Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 178 178 315 1105 531 998 620 1652
normalized size 1 1. 1.77 6.21 2.98 5.61 3.48 9.28
time (sec) N/A 0.1 0.301 0.514 1.213 2.216 15.966 1.292


















Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 149 149 226 836 383 713 450 1053
normalized size 1 1. 1.52 5.61 2.57 4.79 3.02 7.07
time (sec) N/A 0.07 0.221 0.508 1.203 2.018 8.498 1.342


















Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 120 120 150 585 252 474 277 581
normalized size 1 1. 1.25 4.88 2.1 3.95 2.31 4.84
time (sec) N/A 0.054 0.142 0.508 1.264 2.164 3.951 1.214


















Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 91 91 101 101 138 267 148 251
normalized size 1 1. 1.11 1.11 1.52 2.93 1.63 2.76
time (sec) N/A 0.037 0.051 0.078 1.124 1.975 1.763 1.287


















Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 29 29 29 36 54 93 42 62
normalized size 1 1. 1. 1.24 1.86 3.21 1.45 2.14
time (sec) N/A 0.016 0.008 0.061 1.114 2.157 0.546 1.224


















Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 62 261 0 0 0 0
normalized size 1 1. 0.98 4.14 0. 0. 0. 0.
time (sec) N/A 0.052 0.014 0.625 0. 0. 0. 0.


















Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A F(-2) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 57 354 115 215 0 150
normalized size 1 1. 0.77 4.78 1.55 2.91 0. 2.03
time (sec) N/A 0.032 0.07 0.313 1.212 2.467 0. 1.251


















Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 112 112 83 633 225 579 0 408
normalized size 1 1. 0.74 5.65 2.01 5.17 0. 3.64
time (sec) N/A 0.062 0.103 0.374 1.106 2.547 0. 1.23


















Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C B B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 141 141 110 950 406 1041 0 763
normalized size 1 1. 0.78 6.74 2.88 7.38 0. 5.41
time (sec) N/A 0.082 0.147 0.386 1.194 2.375 0. 1.276


















Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 365 301 360 6770 1116 2429 1744 3220
normalized size 1 0.82 0.99 18.55 3.06 6.65 4.78 8.82
time (sec) N/A 0.535 0.251 0.888 1.303 2.53 20.585 1.334


















Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 287 243 247 4597 748 1571 1103 1808
normalized size 1 0.85 0.86 16.02 2.61 5.47 3.84 6.3
time (sec) N/A 0.413 0.149 0.769 1.205 2.28 9.541 1.376


















Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 186 186 144 2616 424 851 561 803
normalized size 1 1. 0.77 14.06 2.28 4.58 3.02 4.32
time (sec) N/A 0.164 0.076 0.633 1.236 2.142 4.242 1.314


















Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 59 130 177 311 211 240
normalized size 1 1. 0.91 2. 2.72 4.78 3.25 3.69
time (sec) N/A 0.039 0.014 0.076 1.209 2.07 1.407 1.165


















Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 111 111 194 2018 0 0 0 0
normalized size 1 1. 1.75 18.18 0. 0. 0. 0.
time (sec) N/A 0.114 0.127 0.743 0. 0. 0. 0.


















Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 132 132 126 1092 0 0 0 0
normalized size 1 1. 0.95 8.27 0. 0. 0. 0.
time (sec) N/A 0.088 0.084 0.77 0. 0. 0. 0.


















Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 202 233 204 1473 0 0 0 0
normalized size 1 1.15 1.01 7.29 0. 0. 0. 0.
time (sec) N/A 0.385 0.217 0.759 0. 0. 0. 0.


















Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 317 347 302 1815 0 0 0 0
normalized size 1 1.09 0.95 5.73 0. 0. 0. 0.
time (sec) N/A 0.605 0.376 0.743 0. 0. 0. 0.


















Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 598 598 475 30495 2277 5723 4495 7131
normalized size 1 1. 0.79 50.99 3.81 9.57 7.52 11.92
time (sec) N/A 0.552 0.409 2.204 1.554 3.073 50.503 1.517


















Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 432 432 333 20417 1539 3644 2746 4039
normalized size 1 1. 0.77 47.26 3.56 8.44 6.36 9.35
time (sec) N/A 0.384 0.213 1.743 1.881 2.562 23.691 1.358


















Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 265 265 201 11547 894 1925 1479 1824
normalized size 1 1. 0.76 43.57 3.37 7.26 5.58 6.88
time (sec) N/A 0.219 0.114 1.192 1.614 2.208 9.593 1.307


















Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 99 99 85 4872 381 699 527 552
normalized size 1 1. 0.86 49.21 3.85 7.06 5.32 5.58
time (sec) N/A 0.052 0.022 0.185 1.297 2.019 3.262 1.36


















Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 158 158 335 9538 0 0 0 0
normalized size 1 1. 2.12 60.37 0. 0. 0. 0.
time (sec) N/A 0.177 0.217 1.01 0. 0. 0. 0.


















Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 190 190 410 5626 0 0 0 0
normalized size 1 1. 2.16 29.61 0. 0. 0. 0.
time (sec) N/A 0.154 0.4 1.121 0. 0. 0. 0.


















Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 342 370 620 0 0 0 0 0
normalized size 1 1.08 1.81 0. 0. 0. 0. 0.
time (sec) N/A 0.625 0.836 1.987 0. 0. 0. 0.


















Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 564 525 843 0 0 0 0 0
normalized size 1 0.93 1.49 0. 0. 0. 0. 0.
time (sec) N/A 1.14 1.297 2.224 0. 0. 0. 0.


















Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 340 340 258 37938 1570 3646 2885 3440
normalized size 1 1. 0.76 111.58 4.62 10.72 8.49 10.12
time (sec) N/A 0.281 0.218 2.669 1.362 2.551 19.212 1.316


















Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 131 131 112 15871 675 1312 1059 1050
normalized size 1 1. 0.85 121.15 5.15 10.02 8.08 8.02
time (sec) N/A 0.071 0.03 0.452 1.351 2.103 6.321 1.297


















Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 205 205 503 33189 0 0 0 0
normalized size 1 1. 2.45 161.9 0. 0. 0. 0.
time (sec) N/A 0.231 0.223 1.559 0. 0. 0. 0.


















Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 248 248 531 21740 0 0 0 0
normalized size 1 1. 2.14 87.66 0. 0. 0. 0.
time (sec) N/A 0.235 0.753 1.556 0. 0. 0. 0.


















Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 19 30 31 47 24 31
normalized size 1 1. 1. 1.58 1.63 2.47 1.26 1.63
time (sec) N/A 0.006 0.004 0.056 1.16 1.93 0.303 1.211


















Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 37 37 36 55 36 88 42 59
normalized size 1 1. 0.97 1.49 0.97 2.38 1.14 1.59
time (sec) N/A 0.014 0.004 0.059 1.241 1.76 0.366 1.32


















Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 55 55 51 80 50 127 63 84
normalized size 1 1. 0.93 1.45 0.91 2.31 1.15 1.53
time (sec) N/A 0.018 0.006 0.057 1.255 1.927 0.427 1.195


















Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 25 75 46 80 36 46
normalized size 1 1. 1. 3. 1.84 3.2 1.44 1.84
time (sec) N/A 0.015 0.007 0.057 1.245 2.009 0.358 1.198


















Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 49 49 48 131 51 136 63 88
normalized size 1 1. 0.98 2.67 1.04 2.78 1.29 1.8
time (sec) N/A 0.025 0.006 0.057 1.182 1.919 0.501 1.217


















Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 73 73 67 187 69 192 95 123
normalized size 1 1. 0.92 2.56 0.95 2.63 1.3 1.68
time (sec) N/A 0.032 0.008 0.059 1.239 2.044 0.623 1.241


















Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 24 30 47 73 37 54
normalized size 1 1. 1. 1.25 1.96 3.04 1.54 2.25
time (sec) N/A 0.009 0.007 0.059 1.146 2.012 0.442 1.241


















Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 24 35 138 55 0 0
normalized size 1 1. 1. 1.46 5.75 2.29 0. 0.
time (sec) N/A 0.026 0.007 0.061 1.22 2.07 0. 0.


















Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 15 19 0 39 17 0
normalized size 1 1. 1. 1.27 0. 2.6 1.13 0.
time (sec) N/A 0.019 0.003 0.06 0. 1.933 5.344 0.


















Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 16 33 27 0 68 0
normalized size 1 1. 1. 2.06 1.69 0. 4.25 0.
time (sec) N/A 0.015 0.002 0.058 1.247 0. 2.98 0.


















Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 16 33 27 0 68 0
normalized size 1 1. 1. 2.06 1.69 0. 4.25 0.
time (sec) N/A 0.015 0.002 0.057 1.205 0. 3.028 0.


















Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 8 8 8 9 26 19 10 0
normalized size 1 1. 1. 1.12 3.25 2.38 1.25 0.
time (sec) N/A 0.007 0.001 0.059 1.26 1.961 2.522 0.


















Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 10 10 10 9 11 22 7 12
normalized size 1 1. 1. 0.9 1.1 2.2 0.7 1.2
time (sec) N/A 0.006 0.001 0.058 1.195 1.811 0.087 1.211


















Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 17 26 0 48 0
normalized size 1 1. 1. 0.85 1.3 0. 2.4 0.
time (sec) N/A 0.019 0.002 0.059 1.238 0. 3.724 0.


















Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 27 19 27 0 88 0
normalized size 1 1. 1.08 0.76 1.08 0. 3.52 0.
time (sec) N/A 0.02 0.002 0.057 1.239 0. 3.998 0.


















Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 22 46 36 0 75 0
normalized size 1 1. 1.05 2.19 1.71 0. 3.57 0.
time (sec) N/A 0.021 0.002 0.06 1.52 0. 3.912 0.


















Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 22 46 36 0 75 0
normalized size 1 1. 1.05 2.19 1.71 0. 3.57 0.
time (sec) N/A 0.021 0.002 0.066 1.78 0. 3.935 0.


















Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 14 17 35 36 15 0
normalized size 1 1. 1. 1.21 2.5 2.57 1.07 0.
time (sec) N/A 0.018 0.002 0.061 1.383 2.065 3.453 0.


















Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 16 17 20 42 14 24
normalized size 1 1. 0.94 1. 1.18 2.47 0.82 1.41
time (sec) N/A 0.011 0.001 0.059 1.186 1.923 0.275 1.206


















Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 26 26 27 26 35 0 54 0
normalized size 1 1. 1.04 1. 1.35 0. 2.08 0.
time (sec) N/A 0.022 0.002 0.065 1.74 0. 4.649 0.


















Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 34 28 36 0 95 0
normalized size 1 1. 1.1 0.9 1.16 0. 3.06 0.
time (sec) N/A 0.023 0.002 0.06 1.51 0. 4.95 0.


















Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 187 156 163 1300 177 397 260 462
normalized size 1 0.83 0.87 6.95 0.95 2.12 1.39 2.47
time (sec) N/A 0.192 0.048 0.534 1.226 2.011 3.736 1.19


















Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 177 193 186 1102 203 0 0 0
normalized size 1 1.09 1.05 6.23 1.15 0. 0. 0.
time (sec) N/A 0.306 0.057 0.546 1.223 0. 0. 0.


















Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 285 285 260 5345 290 756 517 845
normalized size 1 1. 0.91 18.75 1.02 2.65 1.81 2.96
time (sec) N/A 0.224 0.072 0.744 1.483 2.086 7.313 1.227


















Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 299 299 266 0 0 726 0 786
normalized size 1 1. 0.89 0. 0. 2.43 0. 2.63
time (sec) N/A 0.452 0.94 0.63 0. 1.994 0. 1.34


















Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 219 219 197 0 0 473 0 455
normalized size 1 1. 0.9 0. 0. 2.16 0. 2.08
time (sec) N/A 0.293 0.401 0.612 0. 2.087 0. 1.398


















Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 139 139 126 0 0 267 0 215
normalized size 1 1. 0.91 0. 0. 1.92 0. 1.55
time (sec) N/A 0.162 0.162 0.407 0. 2.025 0. 1.306


















Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F C F A F A
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 63 63 0 312 0 113 0 66
normalized size 1 1. 0. 4.95 0. 1.79 0. 1.05
time (sec) N/A 0.046 0.013 0.082 0. 1.924 0. 1.273


















Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.037 0.197 0.885 0. 0. 0. 0.


















Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.035 0.591 0.915 0. 0. 0. 0.


















Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 339 339 1674 0 0 1562 0 4691
normalized size 1 1. 4.94 0. 0. 4.61 0. 13.84
time (sec) N/A 0.788 1.016 3.807 0. 2.191 0. 1.848


















Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 259 259 1015 0 0 1025 0 2755
normalized size 1 1. 3.92 0. 0. 3.96 0. 10.64
time (sec) N/A 0.517 0.561 3.691 0. 2.097 0. 1.433


















Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 177 177 208 0 0 590 0 1328
normalized size 1 1. 1.18 0. 0. 3.33 0. 7.5
time (sec) N/A 0.248 0.287 3.636 0. 2.13 0. 1.34


















Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 96 96 123 457 0 292 0 414
normalized size 1 1. 1.28 4.76 0. 3.04 0. 4.31
time (sec) N/A 0.063 0.049 0.081 0. 2.17 0. 1.288


















Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.034 0.569 1.888 0. 0. 0. 0.


















Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.033 4.548 3.427 0. 0. 0. 0.


















Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 351 351 351 0 0 2404 0 11335
normalized size 1 1. 1. 0. 0. 6.85 0. 32.29
time (sec) N/A 0.865 1.485 3.762 0. 2.369 0. 2.04


















Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 261 261 256 0 0 1353 0 5554
normalized size 1 1. 0.98 0. 0. 5.18 0. 21.28
time (sec) N/A 0.36 0.417 3.707 0. 2.236 0. 1.578


















Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 135 135 118 735 0 632 0 1785
normalized size 1 1. 0.87 5.44 0. 4.68 0. 13.22
time (sec) N/A 0.08 0.053 0.091 0. 2.153 0. 1.367


















Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.034 1.219 3.516 0. 0. 0. 0.


















Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.034 4.844 8.084 0. 0. 0. 0.


















Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 404 404 374 0 0 0 0 0
normalized size 1 1. 0.93 0. 0. 0. 0. 0.
time (sec) N/A 0.701 0.514 0.796 0. 0. 0. 0.


















Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 255 255 235 0 0 0 0 0
normalized size 1 1. 0.92 0. 0. 0. 0. 0.
time (sec) N/A 0.341 0.287 0.566 0. 0. 0. 0.


















Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 111 111 106 0 0 0 0 0
normalized size 1 1. 0.95 0. 0. 0. 0. 0.
time (sec) N/A 0.087 0.049 0.06 0. 0. 0. 0.


















Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.047 1.159 0.891 0. 0. 0. 0.


















Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 87 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.102 0.319 0.889 0. 0. 0. 0.


















Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 78 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.216 0.36 0.892 0. 0. 0. 0.


















Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 526 526 446 0 0 0 0 0
normalized size 1 1. 0.85 0. 0. 0. 0. 0.
time (sec) N/A 0.812 1.085 0.73 0. 0. 0. 0.


















Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 330 330 282 0 0 0 0 0
normalized size 1 1. 0.85 0. 0. 0. 0. 0.
time (sec) N/A 0.426 0.434 0.511 0. 0. 0. 0.


















Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 143 143 127 0 0 0 0 0
normalized size 1 1. 0.89 0. 0. 0. 0. 0.
time (sec) N/A 0.109 0.134 0.058 0. 0. 0. 0.


















Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.056 2.048 0.97 0. 0. 0. 0.


















Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 87 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.106 0.884 0.88 0. 0. 0. 0.


















Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 78 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.207 0.832 0.915 0. 0. 0. 0.


















Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 660 660 511 0 0 0 0 0
normalized size 1 1. 0.77 0. 0. 0. 0. 0.
time (sec) N/A 0.984 1.717 0.722 0. 0. 0. 0.


















Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 413 413 326 0 0 0 0 0
normalized size 1 1. 0.79 0. 0. 0. 0. 0.
time (sec) N/A 0.508 0.693 0.487 0. 0. 0. 0.


















Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 179 179 152 0 0 0 0 0
normalized size 1 1. 0.85 0. 0. 0. 0. 0.
time (sec) N/A 0.13 0.166 0.06 0. 0. 0. 0.


















Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.057 2.019 0.949 0. 0. 0. 0.


















Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 87 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.114 6.822 0.846 0. 0. 0. 0.


















Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 78 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.235 6.119 0.878 0. 0. 0. 0.


















Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 383 383 331 0 0 0 0 0
normalized size 1 1. 0.86 0. 0. 0. 0. 0.
time (sec) N/A 0.728 0.417 0.741 0. 0. 0. 0.


















Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 283 283 252 0 0 0 0 0
normalized size 1 1. 0.89 0. 0. 0. 0. 0.
time (sec) N/A 0.516 0.242 0.704 0. 0. 0. 0.


















Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 181 181 164 0 0 0 0 0
normalized size 1 1. 0.91 0. 0. 0. 0. 0.
time (sec) N/A 0.273 0.14 0.472 0. 0. 0. 0.


















Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 80 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.07 0.016 0.061 0. 0. 0. 0.


















Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.052 0.08 0.93 0. 0. 0. 0.


















Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 422 422 1281 0 0 0 0 0
normalized size 1 1. 3.04 0. 0. 0. 0. 0.
time (sec) N/A 1.315 2.748 0.727 0. 0. 0. 0.


















Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 325 325 828 0 0 0 0 0
normalized size 1 1. 2.55 0. 0. 0. 0. 0.
time (sec) N/A 0.869 1.378 0.679 0. 0. 0. 0.


















Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 220 220 338 0 0 0 0 0
normalized size 1 1. 1.54 0. 0. 0. 0. 0.
time (sec) N/A 0.403 0.807 0.466 0. 0. 0. 0.


















Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 139 0 0 0 0 0
normalized size 1 1. 1.2 0. 0. 0. 0. 0.
time (sec) N/A 0.095 0.084 0.059 0. 0. 0. 0.


















Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.061 0.248 0.936 0. 0. 0. 0.


















Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 520 520 2647 0 0 0 0 0
normalized size 1 1. 5.09 0. 0. 0. 0. 0.
time (sec) N/A 2.333 7.007 0.781 0. 0. 0. 0.


















Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 421 421 527 0 0 0 0 0
normalized size 1 1. 1.25 0. 0. 0. 0. 0.
time (sec) N/A 1.399 4.527 0.681 0. 0. 0. 0.


















Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 311 311 353 0 0 0 0 0
normalized size 1 1. 1.14 0. 0. 0. 0. 0.
time (sec) N/A 0.564 1.907 0.474 0. 0. 0. 0.


















Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 156 156 163 0 0 0 0 0
normalized size 1 1. 1.04 0. 0. 0. 0. 0.
time (sec) N/A 0.117 0.169 0.06 0. 0. 0. 0.


















Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.059 0.552 0.97 0. 0. 0. 0.


















Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 163 163 137 0 0 1207 0 0
normalized size 1 1. 0.84 0. 0. 7.4 0. 0.
time (sec) N/A 0.163 0.222 1.185 0. 1.982 0. 0.


















Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 132 132 118 0 0 728 139 0
normalized size 1 1. 0.89 0. 0. 5.52 1.05 0.
time (sec) N/A 0.085 0.127 1.127 0. 1.873 4.524 0.


















Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 83 148 0 432 326 149
normalized size 1 1. 0.86 1.53 0. 4.45 3.36 1.54
time (sec) N/A 0.059 0.08 0.331 0. 1.926 24.596 1.261


















Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 81 81 80 0 0 512 85 124
normalized size 1 1. 0.99 0. 0. 6.32 1.05 1.53
time (sec) N/A 0.053 0.164 0.926 0. 1.89 16.924 1.319


















Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 114 114 85 0 0 929 0 258
normalized size 1 1. 0.75 0. 0. 8.15 0. 2.26
time (sec) N/A 0.082 0.036 0.916 0. 1.996 0. 1.276


















Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 145 145 78 0 0 1678 0 0
normalized size 1 1. 0.54 0. 0. 11.57 0. 0.
time (sec) N/A 0.111 0.046 0.921 0. 2.109 0. 0.


















Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 176 176 78 0 0 2611 0 0
normalized size 1 1. 0.44 0. 0. 14.84 0. 0.
time (sec) N/A 0.144 0.05 0.9 0. 2.439 0. 0.


















Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 590 590 854 0 0 0 0 0
normalized size 1 1. 1.45 0. 0. 0. 0. 0.
time (sec) N/A 2.169 1.85 1.01 0. 0. 0. 0.


















Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 510 510 643 0 0 0 0 0
normalized size 1 1. 1.26 0. 0. 0. 0. 0.
time (sec) N/A 1.501 1.093 1.007 0. 0. 0. 0.


















Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 418 418 566 0 0 0 0 0
normalized size 1 1. 1.35 0. 0. 0. 0. 0.
time (sec) N/A 1.067 1.092 0.961 0. 0. 0. 0.


















Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 312 312 424 0 0 0 0 0
normalized size 1 1. 1.36 0. 0. 0. 0. 0.
time (sec) N/A 0.766 0.624 0.905 0. 0. 0. 0.


















Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 423 423 557 0 0 0 0 0
normalized size 1 1. 1.32 0. 0. 0. 0. 0.
time (sec) N/A 1.121 1.509 0.925 0. 0. 0. 0.


















Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 503 503 639 0 0 0 0 0
normalized size 1 1. 1.27 0. 0. 0. 0. 0.
time (sec) N/A 1.512 2.24 0.913 0. 0. 0. 0.


















Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 583 583 728 0 0 0 0 0
normalized size 1 1. 1.25 0. 0. 0. 0. 0.
time (sec) N/A 1.848 3.982 0.92 0. 0. 0. 0.


















Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.041 1.035 0.723 0. 0. 0. 0.


















Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.038 0.857 0.69 0. 0. 0. 0.


















Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.039 1.232 0.68 0. 0. 0. 0.


















Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.042 1.374 0.668 0. 0. 0. 0.


















Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 82 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.265 1.364 0.881 0. 0. 0. 0.


















Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 78 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.243 1.527 0.799 0. 0. 0. 0.


















Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 77 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.257 1.287 0.777 0. 0. 0. 0.


















Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.055 5.106 0.803 0. 0. 0. 0.


















Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.056 2.807 0.841 0. 0. 0. 0.


















Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.058 0.744 0.841 0. 0. 0. 0.


















Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 81 0 0 0 0 0
normalized size 1 1. 0.86 0. 0. 0. 0. 0.
time (sec) N/A 0.05 0.085 1.049 0. 0. 0. 0.


















Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.027 0.319 1.148 0. 0. 0. 0.


















Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.027 2.642 6.036 0. 0. 0. 0.


















Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.053 5.751 0.88 0. 0. 0. 0.


















Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.043 0.064 0.812 0. 0. 0. 0.


















Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.046 3.071 0.799 0. 0. 0. 0.


















Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.054 2.506 0.854 0. 0. 0. 0.


















Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-2) F(-2) F(-1) F(-2)
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.026 0.458 0.803 0. 0. 0. 0.


















Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 474 474 343 0 0 0 0 0
normalized size 1 1. 0.72 0. 0. 0. 0. 0.
time (sec) N/A 0.549 1.741 0.938 0. 0. 0. 0.


















Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 348 348 262 0 0 0 0 0
normalized size 1 1. 0.75 0. 0. 0. 0. 0.
time (sec) N/A 0.364 0.542 1.171 0. 0. 0. 0.


















Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 225 225 181 0 0 0 0 0
normalized size 1 1. 0.8 0. 0. 0. 0. 0.
time (sec) N/A 0.205 0.207 0.957 0. 0. 0. 0.


















Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 103 103 103 0 0 143 0 0
normalized size 1 1. 1. 0. 0. 1.39 0. 0.
time (sec) N/A 0.06 0.06 0.429 0. 1.806 0. 0.


















Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-2) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.029 0.252 1.052 0. 0. 0. 0.


















Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B B A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 315 260 589 1057 1022 1019 636 921
normalized size 1 0.83 1.87 3.36 3.24 3.23 2.02 2.92
time (sec) N/A 0.506 0.548 0.064 1.257 1.763 2.792 1.204


















Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 244 204 375 685 728 652 400 597
normalized size 1 0.84 1.54 2.81 2.98 2.67 1.64 2.45
time (sec) N/A 0.384 0.303 0.065 1.173 1.794 2.133 1.189


















Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 157 133 214 387 474 366 216 325
normalized size 1 0.85 1.36 2.46 3.02 2.33 1.38 2.07
time (sec) N/A 0.263 0.146 0.062 1.226 1.698 1.419 1.211


















Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 79 66 163 271 163 82 147
normalized size 1 1. 0.84 2.06 3.43 2.06 1.04 1.86
time (sec) N/A 0.129 0.052 0.06 1.118 1.62 0.89 1.172


















Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 27 39 136 77 31 46
normalized size 1 1. 1. 1.44 5.04 2.85 1.15 1.7
time (sec) N/A 0.034 0.004 0.062 1.13 1.656 0.367 1.195


















Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 116 91 197 0 0 0 0
normalized size 1 1.33 1.05 2.26 0. 0. 0. 0.
time (sec) N/A 0.234 0.065 0.489 0. 0. 0. 0.


















Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 151 181 141 355 0 0 0 0
normalized size 1 1.2 0.93 2.35 0. 0. 0. 0.
time (sec) N/A 0.364 0.154 0.563 0. 0. 0. 0.


















Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 250 282 226 656 0 0 0 0
normalized size 1 1.13 0.9 2.62 0. 0. 0. 0.
time (sec) N/A 0.572 0.228 0.476 0. 0. 0. 0.


















Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B B A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 579 672 374 2310 1926 2012 1394 2192
normalized size 1 1.16 0.65 3.99 3.33 3.47 2.41 3.79
time (sec) N/A 1.674 0.565 0.066 1.366 1.925 5.918 1.208


















Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B B A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 464 459 267 1485 1301 1278 865 1405
normalized size 1 0.99 0.58 3.2 2.8 2.75 1.86 3.03
time (sec) N/A 0.981 0.305 0.064 1.351 1.803 4.23 1.189


















Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B B A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 238 238 171 825 791 709 452 756
normalized size 1 1. 0.72 3.47 3.32 2.98 1.9 3.18
time (sec) N/A 0.513 0.159 0.068 1.292 1.603 2.791 1.18


















Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 89 341 410 311 168 324
normalized size 1 1. 0.79 3.02 3.63 2.75 1.49 2.87
time (sec) N/A 0.202 0.057 0.062 1.248 1.6 1.702 1.174


















Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 27 63 173 119 51 72
normalized size 1 1. 1. 2.33 6.41 4.41 1.89 2.67
time (sec) N/A 0.06 0.004 0.06 1.161 1.715 0.486 1.207


















Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B B F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 142 168 189 383 447 0 0 0
normalized size 1 1.18 1.33 2.7 3.15 0. 0. 0.
time (sec) N/A 0.383 0.193 0.363 1.265 0. 0. 0.


















Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 273 300 360 0 840 0 0 0
normalized size 1 1.1 1.32 0. 3.08 0. 0. 0.
time (sec) N/A 0.637 0.518 2.26 1.43 0. 0. 0.


















Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 485 453 680 0 1716 0 0 0
normalized size 1 0.93 1.4 0. 3.54 0. 0. 0.
time (sec) N/A 1.092 0.885 2.142 2.045 0. 0. 0.


















Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 230 230 397 0 0 851 0 0
normalized size 1 1. 1.73 0. 0. 3.7 0. 0.
time (sec) N/A 0.668 0.853 0.761 0. 1.705 0. 0.


















Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 177 177 279 0 0 562 0 0
normalized size 1 1. 1.58 0. 0. 3.18 0. 0.
time (sec) N/A 0.484 0.482 0.721 0. 1.66 0. 0.


















Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 124 124 137 0 0 332 0 0
normalized size 1 1. 1.1 0. 0. 2.68 0. 0.
time (sec) N/A 0.379 0.285 0.738 0. 1.552 0. 0.


















Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 76 0 0 157 0 0
normalized size 1 1. 1.07 0. 0. 2.21 0. 0.
time (sec) N/A 0.218 0.143 0.529 0. 1.684 0. 0.


















Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 23 23 23 25 39 50 17 113
normalized size 1 1. 1. 1.09 1.7 2.17 0.74 4.91
time (sec) N/A 0.066 0.017 0.066 1.183 1.654 0.215 1.23


















Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 71 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.241 0.39 0.946 0. 0. 0. 0.


















Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 113 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.295 4.011 0.918 0. 0. 0. 0.


















Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 485 485 818 0 0 0 0 0
normalized size 1 1. 1.69 0. 0. 0. 0. 0.
time (sec) N/A 2.045 1.095 1.205 0. 0. 0. 0.


















Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 417 417 607 0 0 0 0 0
normalized size 1 1. 1.46 0. 0. 0. 0. 0.
time (sec) N/A 1.378 0.973 1.135 0. 0. 0. 0.


















Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 349 349 534 0 0 0 0 0
normalized size 1 1. 1.53 0. 0. 0. 0. 0.
time (sec) N/A 0.986 0.501 1.235 0. 0. 0. 0.


















Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 256 256 457 0 0 0 0 0
normalized size 1 1. 1.79 0. 0. 0. 0. 0.
time (sec) N/A 0.694 0.22 1.168 0. 0. 0. 0.


















Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 340 340 526 0 0 0 0 0
normalized size 1 1. 1.55 0. 0. 0. 0. 0.
time (sec) N/A 1.026 0.52 1.152 0. 0. 0. 0.


















Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 406 406 608 0 0 0 0 0
normalized size 1 1. 1.5 0. 0. 0. 0. 0.
time (sec) N/A 1.388 0.781 1.162 0. 0. 0. 0.


















Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 381 381 663 0 0 0 0 0
normalized size 1 1. 1.74 0. 0. 0. 0. 0.
time (sec) N/A 1.53 1.029 180. 0. 0. 0. 0.


















Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 323 323 534 0 0 0 0 0
normalized size 1 1. 1.65 0. 0. 0. 0. 0.
time (sec) N/A 0.913 0.357 0.835 0. 0. 0. 0.


















Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 242 242 239 0 0 0 0 0
normalized size 1 1. 0.99 0. 0. 0. 0. 0.
time (sec) N/A 0.645 2.693 0.842 0. 0. 0. 0.


















Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 316 316 550 0 0 0 0 0
normalized size 1 1. 1.74 0. 0. 0. 0. 0.
time (sec) N/A 0.945 0.431 0.86 0. 0. 0. 0.


















Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 372 372 568 0 0 0 0 0
normalized size 1 1. 1.53 0. 0. 0. 0. 0.
time (sec) N/A 1.257 0.866 0.865 0. 0. 0. 0.


















Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) F(-1) F(-2)
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 34 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.111 0.603 1.629 0. 0. 0. 0.


















Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 305 305 247 0 0 0 0 0
normalized size 1 1. 0.81 0. 0. 0. 0. 0.
time (sec) N/A 0.664 1.304 0.678 0. 0. 0. 0.


















Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 210 210 189 0 0 0 0 0
normalized size 1 1. 0.9 0. 0. 0. 0. 0.
time (sec) N/A 0.472 0.507 0.836 0. 0. 0. 0.


















Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 106 0 0 270 0 0
normalized size 1 1. 0.92 0. 0. 2.35 0. 0.
time (sec) N/A 0.282 0.223 0.487 0. 1.824 0. 0.


















Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 31 32 0 96 0 43
normalized size 1 1. 1. 1.03 0. 3.1 0. 1.39
time (sec) N/A 0.075 0.012 0.064 0. 1.802 0. 1.245


















Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 34 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.13 0.611 0.974 0. 0. 0. 0.


















Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 34 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.127 0.535 0.831 0. 0. 0. 0.


















Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 34 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.129 0.7 0.862 0. 0. 0. 0.


















Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 402 402 379 2801 0 0 0 0
normalized size 1 1. 0.94 6.97 0. 0. 0. 0.
time (sec) N/A 0.364 0.58 0.602 0. 0. 0. 0.


















Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 241 241 224 1605 0 0 0 0
normalized size 1 1. 0.93 6.66 0. 0. 0. 0.
time (sec) N/A 0.223 0.262 0.536 0. 0. 0. 0.


















Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 119 119 110 750 0 0 0 0
normalized size 1 1. 0.92 6.3 0. 0. 0. 0.
time (sec) N/A 0.139 0.109 0.599 0. 0. 0. 0.


















Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 62 261 0 0 0 0
normalized size 1 1. 0.98 4.14 0. 0. 0. 0.
time (sec) N/A 0.045 0.007 0.115 0. 0. 0. 0.


















Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 155 155 111 647 0 0 0 0
normalized size 1 1. 0.72 4.17 0. 0. 0. 0.
time (sec) N/A 0.195 0.062 0.74 0. 0. 0. 0.


















Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 252 252 196 970 0 0 0 0
normalized size 1 1. 0.78 3.85 0. 0. 0. 0.
time (sec) N/A 0.259 0.25 0.735 0. 0. 0. 0.


















Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 402 402 311 1468 0 0 0 0
normalized size 1 1. 0.77 3.65 0. 0. 0. 0.
time (sec) N/A 0.371 0.42 0.695 0. 0. 0. 0.


















Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 469 469 876 0 0 0 0 0
normalized size 1 1. 1.87 0. 0. 0. 0. 0.
time (sec) N/A 0.555 0.552 1.678 0. 0. 0. 0.


















Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 215 215 460 0 0 0 0 0
normalized size 1 1. 2.14 0. 0. 0. 0. 0.
time (sec) N/A 0.274 0.308 1.785 0. 0. 0. 0.


















Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 111 111 226 2018 0 0 0 0
normalized size 1 1. 2.04 18.18 0. 0. 0. 0.
time (sec) N/A 0.114 0.236 0.075 0. 0. 0. 0.


















Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 264 264 353 4712 0 0 0 0
normalized size 1 1. 1.34 17.85 0. 0. 0. 0.
time (sec) N/A 0.371 0.287 0.912 0. 0. 0. 0.


















Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 427 427 630 0 0 0 0 0
normalized size 1 1. 1.48 0. 0. 0. 0. 0.
time (sec) N/A 0.491 0.793 1.826 0. 0. 0. 0.


















Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 660 660 1521 0 0 0 0 0
normalized size 1 1. 2.3 0. 0. 0. 0. 0.
time (sec) N/A 0.734 0.862 2.272 0. 0. 0. 0.


















Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 308 308 799 0 0 0 0 0
normalized size 1 1. 2.59 0. 0. 0. 0. 0.
time (sec) N/A 0.364 0.378 2.141 0. 0. 0. 0.


















Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 158 158 335 9538 0 0 0 0
normalized size 1 1. 2.12 60.37 0. 0. 0. 0.
time (sec) N/A 0.18 0.174 0.194 0. 0. 0. 0.


















Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 372 372 599 21696 0 0 0 0
normalized size 1 1. 1.61 58.32 0. 0. 0. 0.
time (sec) N/A 0.522 0.43 2.11 0. 0. 0. 0.


















Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 602 602 1025 0 0 0 0 0
normalized size 1 1. 1.7 0. 0. 0. 0. 0.
time (sec) N/A 0.725 1.438 1.974 0. 0. 0. 0.


















Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 106 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.176 0.23 0.872 0. 0. 0. 0.


















Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.037 0.023 0.059 0. 0. 0. 0.


















Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 78 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.189 0.844 1.563 0. 0. 0. 0.


















Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 120 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.234 3.069 1.711 0. 0. 0. 0.


















Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 142 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.196 1.194 2.901 0. 0. 0. 0.


















Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.034 0.077 0.06 0. 0. 0. 0.


















Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 78 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.183 12.675 15.503 0. 0. 0. 0.


















Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 120 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.224 26.641 21.281 0. 0. 0. 0.


















Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 281 281 241 1000 0 0 0 0
normalized size 1 1. 0.86 3.56 0. 0. 0. 0.
time (sec) N/A 0.278 0.271 0.569 0. 0. 0. 0.


















Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 181 181 170 724 0 0 0 0
normalized size 1 1. 0.94 4. 0. 0. 0. 0.
time (sec) N/A 0.193 0.137 0.561 0. 0. 0. 0.


















Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 104 104 95 463 0 0 0 0
normalized size 1 1. 0.91 4.45 0. 0. 0. 0.
time (sec) N/A 0.131 0.072 0.588 0. 0. 0. 0.


















Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 62 261 0 0 0 0
normalized size 1 1. 0.98 4.14 0. 0. 0. 0.
time (sec) N/A 0.048 0.007 0.11 0. 0. 0. 0.


















Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 107 107 85 455 0 0 0 0
normalized size 1 1. 0.79 4.25 0. 0. 0. 0.
time (sec) N/A 0.144 0.037 0.515 0. 0. 0. 0.


















Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 162 162 141 669 0 0 0 0
normalized size 1 1. 0.87 4.13 0. 0. 0. 0.
time (sec) N/A 0.191 0.084 0.547 0. 0. 0. 0.


















Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 250 250 208 926 0 0 0 0
normalized size 1 1. 0.83 3.7 0. 0. 0. 0.
time (sec) N/A 0.252 0.218 0.533 0. 0. 0. 0.


















Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 265 265 220 1063 0 0 0 0
normalized size 1 1. 0.83 4.01 0. 0. 0. 0.
time (sec) N/A 0.26 0.325 0.565 0. 0. 0. 0.


















Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 186 186 153 791 0 0 0 0
normalized size 1 1. 0.82 4.25 0. 0. 0. 0.
time (sec) N/A 0.203 0.153 0.566 0. 0. 0. 0.


















Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 138 138 114 519 0 0 0 0
normalized size 1 1. 0.83 3.76 0. 0. 0. 0.
time (sec) N/A 0.152 0.109 0.504 0. 0. 0. 0.


















Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A F(-2) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 57 354 115 215 0 150
normalized size 1 1. 0.77 4.78 1.55 2.91 0. 2.03
time (sec) N/A 0.028 0.066 0.077 1.153 1.787 0. 1.285


















Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 179 179 152 694 0 0 0 0
normalized size 1 1. 0.85 3.88 0. 0. 0. 0.
time (sec) N/A 0.202 0.139 0.543 0. 0. 0. 0.


















Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 240 240 199 936 0 0 0 0
normalized size 1 1. 0.83 3.9 0. 0. 0. 0.
time (sec) N/A 0.244 0.208 0.519 0. 0. 0. 0.


















Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 335 335 269 1224 0 0 0 0
normalized size 1 1. 0.8 3.65 0. 0. 0. 0.
time (sec) N/A 0.314 0.4 0.536 0. 0. 0. 0.


















Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 397 397 331 905 0 0 0 0
normalized size 1 1. 0.83 2.28 0. 0. 0. 0.
time (sec) N/A 0.51 0.287 0.518 0. 0. 0. 0.


















Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 278 278 243 631 0 0 0 0
normalized size 1 1. 0.87 2.27 0. 0. 0. 0.
time (sec) N/A 0.325 0.172 0.456 0. 0. 0. 0.


















Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 203 203 172 411 0 0 0 0
normalized size 1 1. 0.85 2.02 0. 0. 0. 0.
time (sec) N/A 0.18 0.037 0.395 0. 0. 0. 0.


















Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 245 245 224 604 0 0 0 0
normalized size 1 1. 0.91 2.47 0. 0. 0. 0.
time (sec) N/A 0.316 0.087 0.402 0. 0. 0. 0.


















Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 331 331 279 841 0 0 0 0
normalized size 1 1. 0.84 2.54 0. 0. 0. 0.
time (sec) N/A 0.368 0.179 0.417 0. 0. 0. 0.


















Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 369 369 339 982 0 0 0 0
normalized size 1 1. 0.92 2.66 0. 0. 0. 0.
time (sec) N/A 0.395 0.339 0.5 0. 0. 0. 0.


















Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 276 276 263 710 0 0 0 0
normalized size 1 1. 0.95 2.57 0. 0. 0. 0.
time (sec) N/A 0.309 0.136 0.454 0. 0. 0. 0.


















Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 239 239 184 474 0 0 0 0
normalized size 1 1. 0.77 1.98 0. 0. 0. 0.
time (sec) N/A 0.168 0.047 0.529 0. 0. 0. 0.


















Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 290 290 280 722 0 0 0 0
normalized size 1 1. 0.97 2.49 0. 0. 0. 0.
time (sec) N/A 0.316 0.17 0.514 0. 0. 0. 0.


















Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 388 388 350 983 0 0 0 0
normalized size 1 1. 0.9 2.53 0. 0. 0. 0.
time (sec) N/A 0.376 0.349 0.602 0. 0. 0. 0.


















Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 417 417 530 1008 0 0 0 0
normalized size 1 1. 1.27 2.42 0. 0. 0. 0.
time (sec) N/A 0.487 1.189 0.462 0. 0. 0. 0.


















Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 344 344 455 726 0 0 0 0
normalized size 1 1. 1.32 2.11 0. 0. 0. 0.
time (sec) N/A 0.407 0.882 0.408 0. 0. 0. 0.


















Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 139 139 165 765 0 817 0 294
normalized size 1 1. 1.19 5.5 0. 5.88 0. 2.12
time (sec) N/A 0.078 0.16 0.529 0. 1.95 0. 1.38


















Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 383 383 521 910 0 0 0 0
normalized size 1 1. 1.36 2.38 0. 0. 0. 0.
time (sec) N/A 0.453 1.145 0.423 0. 0. 0. 0.


















Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 460 460 596 1165 0 0 0 0
normalized size 1 1. 1.3 2.53 0. 0. 0. 0.
time (sec) N/A 0.517 1.329 0.431 0. 0. 0. 0.


















Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 534 534 434 2021 0 0 0 0
normalized size 1 1. 0.81 3.78 0. 0. 0. 0.
time (sec) N/A 0.93 0.956 0.549 0. 0. 0. 0.


















Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 491 491 383 1781 0 0 0 0
normalized size 1 1. 0.78 3.63 0. 0. 0. 0.
time (sec) N/A 0.76 0.882 0.619 0. 0. 0. 0.


















Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 503 503 407 1666 0 0 0 0
normalized size 1 1. 0.81 3.31 0. 0. 0. 0.
time (sec) N/A 0.394 1.4 0.61 0. 0. 0. 0.


















Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 560 560 476 2032 0 0 0 0
normalized size 1 1. 0.85 3.63 0. 0. 0. 0.
time (sec) N/A 0.819 0.954 0.654 0. 0. 0. 0.


















Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 326 326 275 0 0 0 0 0
normalized size 1 1. 0.84 0. 0. 0. 0. 0.
time (sec) N/A 0.421 0.232 0.852 0. 0. 0. 0.


















Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F(-2) F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 506 506 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.557 3.605 0.822 0. 0. 0. 0.


















Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 278 278 307 0 0 0 0 0
normalized size 1 1. 1.1 0. 0. 0. 0. 0.
time (sec) N/A 0.474 0.028 1.102 0. 0. 0. 0.


















Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 510 510 1077 0 0 0 0 0
normalized size 1 1. 2.11 0. 0. 0. 0. 0.
time (sec) N/A 0.644 4.327 1.158 0. 0. 0. 0.


















Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 27 20 162 50 0 0
normalized size 1 1. 1.12 0.83 6.75 2.08 0. 0.
time (sec) N/A 0.031 0.006 0.06 1.196 1.601 0. 0.


















Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 81 84 161 0 0 0
normalized size 1 1. 1.93 2. 3.83 0. 0. 0.
time (sec) N/A 0.054 0.016 0.062 1.095 0. 0. 0.


















Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 82 44 0 101 0 0
normalized size 1 1. 2. 1.07 0. 2.46 0. 0.
time (sec) N/A 0.061 0.032 0.063 0. 1.752 0. 0.


















Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 47 47 80 109 0 0 0 0
normalized size 1 1. 1.7 2.32 0. 0. 0. 0.
time (sec) N/A 0.065 0.025 0.063 0. 0. 0. 0.


















Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 371 371 345 153 0 0 0 0
normalized size 1 1. 0.93 0.41 0. 0. 0. 0.
time (sec) N/A 0.596 0.328 0.39 0. 0. 0. 0.


















Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 292 292 297 77 0 0 0 0
normalized size 1 1. 1.02 0.26 0. 0. 0. 0.
time (sec) N/A 0.277 0.053 0.383 0. 0. 0. 0.


















Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 324 324 330 108 0 0 0 0
normalized size 1 1. 1.02 0.33 0. 0. 0. 0.
time (sec) N/A 0.429 0.089 0.378 0. 0. 0. 0.


















Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 414 414 405 185 0 0 0 0
normalized size 1 1. 0.98 0.45 0. 0. 0. 0.
time (sec) N/A 0.496 0.139 0.417 0. 0. 0. 0.


















Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 416 416 403 148 0 0 0 0
normalized size 1 1. 0.97 0.36 0. 0. 0. 0.
time (sec) N/A 0.701 0.323 0.373 0. 0. 0. 0.


















Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 383 383 369 136 0 0 0 0
normalized size 1 1. 0.96 0.36 0. 0. 0. 0.
time (sec) N/A 0.446 0.132 0.384 0. 0. 0. 0.


















Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 359 359 297 86 0 0 0 0
normalized size 1 1. 0.83 0.24 0. 0. 0. 0.
time (sec) N/A 0.315 0.087 0.38 0. 0. 0. 0.


















Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 359 359 294 94 0 0 0 0
normalized size 1 1. 0.82 0.26 0. 0. 0. 0.
time (sec) N/A 0.239 0.07 0.377 0. 0. 0. 0.


















Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 398 398 378 128 0 0 0 0
normalized size 1 1. 0.95 0.32 0. 0. 0. 0.
time (sec) N/A 0.494 0.137 0.41 0. 0. 0. 0.


















Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 423 423 371 153 0 0 0 0
normalized size 1 1. 0.88 0.36 0. 0. 0. 0.
time (sec) N/A 0.438 0.222 0.433 0. 0. 0. 0.


















Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 498 498 446 175 0 0 0 0
normalized size 1 1. 0.9 0.35 0. 0. 0. 0.
time (sec) N/A 0.81 0.321 0.385 0. 0. 0. 0.


















Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 401 401 383 85 0 0 0 0
normalized size 1 1. 0.96 0.21 0. 0. 0. 0.
time (sec) N/A 0.46 0.061 0.378 0. 0. 0. 0.


















Problem 295 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 433 433 416 116 0 0 0 0
normalized size 1 1. 0.96 0.27 0. 0. 0. 0.
time (sec) N/A 0.595 0.102 0.394 0. 0. 0. 0.


















Problem 296 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 530 530 484 164 0 0 0 0
normalized size 1 1. 0.91 0.31 0. 0. 0. 0.
time (sec) N/A 0.648 0.222 0.376 0. 0. 0. 0.


















Problem 297 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 473 473 348 102 0 0 0 0
normalized size 1 1. 0.74 0.22 0. 0. 0. 0.
time (sec) N/A 0.473 0.11 0.371 0. 0. 0. 0.


















Problem 298 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 537 537 506 161 0 0 0 0
normalized size 1 1. 0.94 0.3 0. 0. 0. 0.
time (sec) N/A 0.651 0.196 0.422 0. 0. 0. 0.


















Problem 299 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 521 521 458 154 0 0 0 0
normalized size 1 1. 0.88 0.3 0. 0. 0. 0.
time (sec) N/A 0.756 0.236 0.385 0. 0. 0. 0.


















Problem 300 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 497 497 464 94 0 0 0 0
normalized size 1 1. 0.93 0.19 0. 0. 0. 0.
time (sec) N/A 0.541 0.276 0.385 0. 0. 0. 0.


















Problem 301 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 497 497 359 112 0 0 0 0
normalized size 1 1. 0.72 0.23 0. 0. 0. 0.
time (sec) N/A 0.416 0.105 0.38 0. 0. 0. 0.


















Problem 302 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 536 536 525 136 0 0 0 0
normalized size 1 1. 0.98 0.25 0. 0. 0. 0.
time (sec) N/A 0.816 0.602 0.421 0. 0. 0. 0.


















Problem 303 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 91 91 101 101 138 267 148 251
normalized size 1 1. 1.11 1.11 1.52 2.93 1.63 2.76
time (sec) N/A 0.064 0.056 0.086 1.056 1.959 2.918 1.232


















Problem 304 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 120 120 150 585 252 474 277 581
normalized size 1 1. 1.25 4.88 2.1 3.95 2.31 4.84
time (sec) N/A 0.113 0.14 0.465 1.107 1.905 11.07 1.297


















Problem 305 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 149 149 226 836 383 713 450 1053
normalized size 1 1. 1.52 5.61 2.57 4.79 3.02 7.07
time (sec) N/A 0.123 0.208 0.481 1.148 1.96 42.562 1.334


















Problem 306 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 62 261 0 0 0 0
normalized size 1 1. 0.98 4.14 0. 0. 0. 0.
time (sec) N/A 0.1 0.013 0.584 0. 0. 0. 0.


















Problem 307 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 57 354 116 215 0 150
normalized size 1 1. 0.77 4.78 1.57 2.91 0. 2.03
time (sec) N/A 0.083 0.069 0.314 1.101 2.031 0. 1.305


















Problem 308 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 112 112 83 633 228 579 0 408
normalized size 1 1. 0.74 5.65 2.04 5.17 0. 3.64
time (sec) N/A 0.118 0.102 0.347 1.114 2.015 0. 1.179


















Problem 309 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 247 247 247 248 0 0 0 0
normalized size 1 1. 1. 1. 0. 0. 0. 0.
time (sec) N/A 0.337 0.179 0.07 0. 0. 0. 0.


















Problem 310 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 831 752 862 0 0 0 0 0
normalized size 1 0.9 1.04 0. 0. 0. 0. 0.
time (sec) N/A 1.085 1.02 1.493 0. 0. 0. 0.


















Problem 311 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 499 499 637 0 0 0 0 0
normalized size 1 1. 1.28 0. 0. 0. 0. 0.
time (sec) N/A 0.688 0.465 1.504 0. 0. 0. 0.


















Problem 312 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 317 317 464 0 0 0 0 0
normalized size 1 1. 1.46 0. 0. 0. 0. 0.
time (sec) N/A 0.371 0.261 1.071 0. 0. 0. 0.


















Problem 313 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 397 397 576 0 0 0 0 0
normalized size 1 1. 1.45 0. 0. 0. 0. 0.
time (sec) N/A 0.597 0.374 1.168 0. 0. 0. 0.


















Problem 314 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 551 575 811 0 0 0 0 0
normalized size 1 1.04 1.47 0. 0. 0. 0. 0.
time (sec) N/A 0.946 0.722 1.353 0. 0. 0. 0.


















Problem 315 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 701 646 821 0 0 0 0 0
normalized size 1 0.92 1.17 0. 0. 0. 0. 0.
time (sec) N/A 0.922 0.901 7.023 0. 0. 0. 0.


















Problem 316 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 447 447 623 0 0 0 0 0
normalized size 1 1. 1.39 0. 0. 0. 0. 0.
time (sec) N/A 0.592 0.62 12.529 0. 0. 0. 0.


















Problem 317 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 371 371 485 0 0 0 0 0
normalized size 1 1. 1.31 0. 0. 0. 0. 0.
time (sec) N/A 0.376 0.326 3.872 0. 0. 0. 0.


















Problem 318 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 461 461 668 0 0 0 0 0
normalized size 1 1. 1.45 0. 0. 0. 0. 0.
time (sec) N/A 0.634 0.494 20.142 0. 0. 0. 0.


















Problem 319 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 694 717 930 0 0 0 0 0
normalized size 1 1.03 1.34 0. 0. 0. 0. 0.
time (sec) N/A 1.114 0.791 9.815 0. 0. 0. 0.


















Problem 320 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 936 936 1254 0 0 0 0 0
normalized size 1 1. 1.34 0. 0. 0. 0. 0.
time (sec) N/A 1.53 2.765 1.707 0. 0. 0. 0.


















Problem 321 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 739 739 1103 0 0 0 0 0
normalized size 1 1. 1.49 0. 0. 0. 0. 0.
time (sec) N/A 1.195 2.3 1.322 0. 0. 0. 0.


















Problem 322 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 430 430 590 2134 0 0 0 0
normalized size 1 1. 1.37 4.96 0. 0. 0. 0.
time (sec) N/A 0.547 0.565 0.64 0. 0. 0. 0.


















Problem 323 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 814 814 1209 0 0 0 0 0
normalized size 1 1. 1.49 0. 0. 0. 0. 0.
time (sec) N/A 1.3 2.032 1.363 0. 0. 0. 0.


















Problem 324 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 970 994 1391 0 0 0 0 0
normalized size 1 1.02 1.43 0. 0. 0. 0. 0.
time (sec) N/A 1.653 2.936 1.444 0. 0. 0. 0.


















Problem 325 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 897 897 1237 0 0 0 0 0
normalized size 1 1. 1.38 0. 0. 0. 0. 0.
time (sec) N/A 1.784 3.02 3.694 0. 0. 0. 0.


















Problem 326 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 815 815 1132 0 0 0 0 0
normalized size 1 1. 1.39 0. 0. 0. 0. 0.
time (sec) N/A 1.544 2.421 12.387 0. 0. 0. 0.


















Problem 327 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 821 821 1143 0 0 0 0 0
normalized size 1 1. 1.39 0. 0. 0. 0. 0.
time (sec) N/A 0.846 2.623 11.023 0. 0. 0. 0.


















Problem 328 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 919 919 1304 0 0 0 0 0
normalized size 1 1. 1.42 0. 0. 0. 0. 0.
time (sec) N/A 1.613 3.194 5.175 0. 0. 0. 0.


















Problem 329 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 477 477 754 0 0 0 0 0
normalized size 1 1. 1.58 0. 0. 0. 0. 0.
time (sec) N/A 0.537 0.275 4.885 0. 0. 0. 0.


















Problem 330 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 347 347 488 0 0 0 0 0
normalized size 1 1. 1.41 0. 0. 0. 0. 0.
time (sec) N/A 0.316 0.153 4.311 0. 0. 0. 0.


















Problem 331 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 229 229 178 419 0 0 0 0
normalized size 1 1. 0.78 1.83 0. 0. 0. 0.
time (sec) N/A 0.164 0.091 0.405 0. 0. 0. 0.


















Problem 332 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 88 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.115 0.396 0.838 0. 0. 0. 0.


















Problem 333 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 29 24 0 63 0 0
normalized size 1 1. 1.07 0.89 0. 2.33 0. 0.
time (sec) N/A 0.13 0.02 0.067 0. 1.562 0. 0.


















Problem 334 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 29 24 0 63 0 0
normalized size 1 1. 1.07 0.89 0. 2.33 0. 0.
time (sec) N/A 0.18 0.007 0.065 0. 1.576 0. 0.


















Problem 335 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 28 28 31 28 0 72 0 0
normalized size 1 1. 1.11 1. 0. 2.57 0. 0.
time (sec) N/A 0.135 0.023 0.065 0. 1.748 0. 0.


















Problem 336 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 28 28 31 28 0 72 0 0
normalized size 1 1. 1.11 1. 0. 2.57 0. 0.
time (sec) N/A 0.183 0.007 0.064 0. 1.664 0. 0.


















Problem 337 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 27 20 162 50 0 0
normalized size 1 1. 1.12 0.83 6.75 2.08 0. 0.
time (sec) N/A 0.031 0.006 0.063 1.037 1.68 0. 0.


















Problem 338 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 27 20 162 50 0 0
normalized size 1 1. 1.12 0.83 6.75 2.08 0. 0.
time (sec) N/A 0.133 0.004 0.062 1.101 1.617 0. 0.


















Problem 339 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 37 37 252 24 332 76 0 0
normalized size 1 1. 6.81 0.65 8.97 2.05 0. 0.
time (sec) N/A 0.025 0.187 0.064 1.265 1.61 0. 0.


















Problem 340 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 252 24 332 76 0 0
normalized size 1 1. 9.33 0.89 12.3 2.81 0. 0.
time (sec) N/A 0.074 0.148 0.06 1.192 1.666 0. 0.


















Problem 341 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 252 24 328 76 0 0
normalized size 1 1. 9.33 0.89 12.15 2.81 0. 0.
time (sec) N/A 0.02 0.136 0.064 1.136 1.612 0. 0.


















Problem 342 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 252 24 328 76 0 0
normalized size 1 1. 9.33 0.89 12.15 2.81 0. 0.
time (sec) N/A 0.127 0.149 0.066 1.123 1.556 0. 0.


















Problem 343 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 238 238 494 12205 0 0 0 0
normalized size 1 1. 2.08 51.28 0. 0. 0. 0.
time (sec) N/A 0.351 0.211 1.178 0. 0. 0. 0.


















Problem 344 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 168 168 292 2679 0 0 0 0
normalized size 1 1. 1.74 15.95 0. 0. 0. 0.
time (sec) N/A 0.248 0.134 0.793 0. 0. 0. 0.


















Problem 345 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 98 420 166 0 0 0
normalized size 1 1. 1.01 4.33 1.71 0. 0. 0.
time (sec) N/A 0.124 0.022 0.519 1.332 0. 0. 0.


















Problem 346 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 51 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.11 0.625 0.825 0. 0. 0. 0.


















Problem 347 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 500 500 993 0 0 0 0 0
normalized size 1 1. 1.99 0. 0. 0. 0. 0.
time (sec) N/A 0.701 0.719 12.324 0. 0. 0. 0.


















Problem 348 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 372 372 655 0 0 0 0 0
normalized size 1 1. 1.76 0. 0. 0. 0. 0.
time (sec) N/A 0.406 0.414 9.795 0. 0. 0. 0.


















Problem 349 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 243 243 194 689 0 0 0 0
normalized size 1 1. 0.8 2.84 0. 0. 0. 0.
time (sec) N/A 0.229 0.182 0.446 0. 0. 0. 0.


















Problem 350 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 103 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.199 0.565 1.796 0. 0. 0. 0.


















Problem 351 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 286 286 464 791 0 0 0 0
normalized size 1 1. 1.62 2.77 0. 0. 0. 0.
time (sec) N/A 0.443 0.651 0.069 0. 0. 0. 0.


















Problem 352 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 234 234 434 593 0 0 0 0
normalized size 1 1. 1.85 2.53 0. 0. 0. 0.
time (sec) N/A 0.355 0.255 0.063 0. 0. 0. 0.


















Problem 353 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 193 193 210 361 0 0 0 0
normalized size 1 1. 1.09 1.87 0. 0. 0. 0.
time (sec) N/A 0.181 0.132 0.065 0. 0. 0. 0.


















Problem 354 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 153 153 144 177 0 0 0 0
normalized size 1 1. 0.94 1.16 0. 0. 0. 0.
time (sec) N/A 0.137 0.056 0.066 0. 0. 0. 0.


















Problem 355 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 204 204 227 375 0 0 0 0
normalized size 1 1. 1.11 1.84 0. 0. 0. 0.
time (sec) N/A 0.282 0.205 0.068 0. 0. 0. 0.


















Problem 356 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 251 251 255 608 0 0 0 0
normalized size 1 1. 1.02 2.42 0. 0. 0. 0.
time (sec) N/A 0.391 0.365 0.069 0. 0. 0. 0.


















Problem 357 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 308 308 311 816 0 0 0 0
normalized size 1 1. 1.01 2.65 0. 0. 0. 0.
time (sec) N/A 0.512 0.45 0.067 0. 0. 0. 0.


















Problem 358 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 232 232 221 2330 312 0 0 0
normalized size 1 1. 0.95 10.04 1.34 0. 0. 0.
time (sec) N/A 0.22 0.191 1.115 1.26 0. 0. 0.


















Problem 359 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 195 195 197 2162 279 0 0 0
normalized size 1 1. 1.01 11.09 1.43 0. 0. 0.
time (sec) N/A 0.183 0.188 1.02 1.207 0. 0. 0.


















Problem 360 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 158 158 164 1994 240 0 0 0
normalized size 1 1. 1.04 12.62 1.52 0. 0. 0.
time (sec) N/A 0.138 0.129 1.031 1.255 0. 0. 0.


















Problem 361 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 99 99 116 1724 188 0 0 0
normalized size 1 1. 1.17 17.41 1.9 0. 0. 0.
time (sec) N/A 0.094 0.078 0.938 1.224 0. 0. 0.


















Problem 362 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 88 88 128 1749 0 0 0 0
normalized size 1 1. 1.45 19.88 0. 0. 0. 0.
time (sec) N/A 0.074 0.068 0.6 0. 0. 0. 0.


















Problem 363 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 102 120 111 1859 219 0 0 0
normalized size 1 1.18 1.09 18.23 2.15 0. 0. 0.
time (sec) N/A 0.095 0.109 0.796 1.241 0. 0. 0.


















Problem 364 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 156 175 204 2051 267 0 0 0
normalized size 1 1.12 1.31 13.15 1.71 0. 0. 0.
time (sec) N/A 0.151 0.125 0.841 1.23 0. 0. 0.


















Problem 365 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 193 212 240 2220 309 0 0 0
normalized size 1 1.1 1.24 11.5 1.6 0. 0. 0.
time (sec) N/A 0.181 0.144 0.874 1.235 0. 0. 0.


















Problem 366 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 230 249 273 2387 342 0 0 0
normalized size 1 1.08 1.19 10.38 1.49 0. 0. 0.
time (sec) N/A 0.219 0.15 0.89 1.258 0. 0. 0.


















Problem 367 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 705 902 735 0 0 0 0 0
normalized size 1 1.28 1.04 0. 0. 0. 0. 0.
time (sec) N/A 2.189 1.606 1.685 0. 0. 0. 0.


















Problem 368 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 602 602 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 1.293 0.383 2.195 0. 0. 0. 0.


















Problem 369 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 309 309 549 0 0 0 0 0
normalized size 1 1. 1.78 0. 0. 0. 0. 0.
time (sec) N/A 0.453 0.474 1.871 0. 0. 0. 0.


















Problem 370 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F F F(-1) F
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 823 0 823 0 0 0 0 0
normalized size 1 0. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.066 0.387 1.754 0. 0. 0. 0.


















Problem 371 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F F F(-1) F
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 607 0 513 0 0 0 0 0
normalized size 1 0. 0.85 0. 0. 0. 0. 0.
time (sec) N/A 0.029 0.754 1.373 0. 0. 0. 0.


















Problem 372 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F F F(-1) F
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 939 0 781 0 0 0 0 0
normalized size 1 0. 0.83 0. 0. 0. 0. 0.
time (sec) N/A 0.03 1.175 1.454 0. 0. 0. 0.


















Problem 373 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 522 522 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.858 0.486 2.416 0. 0. 0. 0.


















Problem 374 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A F A F F F F F
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 519 0 519 0 0 0 0 0
normalized size 1 0. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.049 0.095 0.083 0. 0. 0. 0.


















Problem 375 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 25 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.011 0.042 2.376 0. 0. 0. 0.


















Problem 376 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 25 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.011 0.462 10.89 0. 0. 0. 0.


















Problem 377 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-2) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 25 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.01 0.09 0.952 0. 0. 0. 0.


















Problem 378 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 364 364 394 0 0 0 0 0
normalized size 1 1. 1.08 0. 0. 0. 0. 0.
time (sec) N/A 0.055 0.094 0.075 0. 0. 0. 0.


















Problem 379 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 258 258 342 1785 370 733 508 1021
normalized size 1 1. 1.33 6.92 1.43 2.84 1.97 3.96
time (sec) N/A 0.435 0.084 0.603 1.131 1.965 5.479 1.293


















Problem 380 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 196 206 263 1558 302 554 389 644
normalized size 1 1.05 1.34 7.95 1.54 2.83 1.98 3.29
time (sec) N/A 0.371 0.048 0.603 1.057 2.16 3.044 1.365


















Problem 381 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 130 76 156 223 365 257 289
normalized size 1 1.18 0.69 1.42 2.03 3.32 2.34 2.63
time (sec) N/A 0.222 0.024 0.086 1.128 1.919 1.449 1.255


















Problem 382 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 158 219 227 1534 0 0 0 0
normalized size 1 1.39 1.44 9.71 0. 0. 0. 0.
time (sec) N/A 0.326 0.063 0.6 0. 0. 0. 0.


















Problem 383 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 96 169 180 931 0 0 0 0
normalized size 1 1.76 1.88 9.7 0. 0. 0. 0.
time (sec) N/A 0.346 0.028 0.577 0. 0. 0. 0.


















Problem 384 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 156 265 254 1201 0 0 0 0
normalized size 1 1.7 1.63 7.7 0. 0. 0. 0.
time (sec) N/A 0.557 0.129 0.593 0. 0. 0. 0.


















Problem 385 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 234 365 351 1437 0 0 0 0
normalized size 1 1.56 1.5 6.14 0. 0. 0. 0.
time (sec) N/A 0.822 0.176 0.539 0. 0. 0. 0.


















Problem 386 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 742 742 605 4217 0 0 0 0
normalized size 1 1. 0.82 5.68 0. 0. 0. 0.
time (sec) N/A 0.872 1.219 2.398 0. 0. 0. 0.


















Problem 387 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 558 558 492 3680 0 0 0 0
normalized size 1 1. 0.88 6.59 0. 0. 0. 0.
time (sec) N/A 0.609 0.922 1.842 0. 0. 0. 0.


















Problem 388 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 397 397 341 3163 0 0 0 0
normalized size 1 1. 0.86 7.97 0. 0. 0. 0.
time (sec) N/A 0.433 0.638 1.639 0. 0. 0. 0.


















Problem 389 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 232 232 329 2544 0 0 0 0
normalized size 1 1. 1.42 10.97 0. 0. 0. 0.
time (sec) N/A 0.285 0.226 1.346 0. 0. 0. 0.


















Problem 390 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 637 637 605 0 0 0 0 0
normalized size 1 1. 0.95 0. 0. 0. 0. 0.
time (sec) N/A 0.433 0.344 1.334 0. 0. 0. 0.


















Problem 391 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 270 270 476 0 0 0 0 0
normalized size 1 1. 1.76 0. 0. 0. 0. 0.
time (sec) N/A 0.333 0.23 1.977 0. 0. 0. 0.


















Problem 392 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 421 421 765 0 0 0 0 0
normalized size 1 1. 1.82 0. 0. 0. 0. 0.
time (sec) N/A 0.455 0.418 1.299 0. 0. 0. 0.


















Problem 393 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 1210 1179 2067 0 0 0 0 0
normalized size 1 0.97 1.71 0. 0. 0. 0. 0.
time (sec) N/A 2.79 0.943 4.207 0. 0. 0. 0.


















Problem 394 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 649 649 1355 0 0 0 0 0
normalized size 1 1. 2.09 0. 0. 0. 0. 0.
time (sec) N/A 1.481 0.533 2.82 0. 0. 0. 0.


















Problem 395 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 36 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.037 0.692 1.535 0. 0. 0. 0.


















Problem 396 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 36 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.04 0.865 1.424 0. 0. 0. 0.


















Problem 397 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 2050 2050 4971 0 0 0 0 0
normalized size 1 1. 2.42 0. 0. 0. 0. 0.
time (sec) N/A 6.891 3.387 2.901 0. 0. 0. 0.


















Problem 398 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 1147 1147 3163 0 0 0 0 0
normalized size 1 1. 2.76 0. 0. 0. 0. 0.
time (sec) N/A 3.123 1.053 4.523 0. 0. 0. 0.


















Problem 399 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 36 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.04 1.27 1.802 0. 0. 0. 0.


















Problem 400 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 36 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.041 1.769 2.023 0. 0. 0. 0.


















Problem 401 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 66 66 62 0 0 0 0 0
normalized size 1 1. 0.94 0. 0. 0. 0. 0.
time (sec) N/A 0.084 0.104 2.107 0. 0. 0. 0.


















Problem 402 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 92 92 43 116 134 105 56 86
normalized size 1 1. 0.47 1.26 1.46 1.14 0.61 0.93
time (sec) N/A 0.095 0.065 0.06 1.035 2.328 0.422 1.237


















Problem 403 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 102 102 58 184 215 143 75 104
normalized size 1 1. 0.57 1.8 2.11 1.4 0.74 1.02
time (sec) N/A 0.111 0.104 0.065 1.083 2.294 0.449 1.251


















Problem 404 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 160 160 132 0 755 2973 2390 2433
normalized size 1 1. 0.82 0. 4.72 18.58 14.94 15.21
time (sec) N/A 0.201 0.066 0.516 1.176 2.83 26.086 1.316


















Problem 405 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 121 121 100 0 428 1374 1023 1110
normalized size 1 1. 0.83 0. 3.54 11.36 8.45 9.17
time (sec) N/A 0.141 0.013 0.093 1.158 2.454 9.337 1.231


















Problem 406 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 69 0 200 516 343 409
normalized size 1 1. 0.88 0. 2.56 6.62 4.4 5.24
time (sec) N/A 0.094 0.01 0.095 1.103 2.29 3.272 1.228


















Problem 407 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 34 42 61 124 58 86
normalized size 1 1. 1. 1.24 1.79 3.65 1.71 2.53
time (sec) N/A 0.032 0.007 0.066 1.122 2.276 0.921 1.237


















Problem 408 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 83 83 0 0 157 0 107
normalized size 1 1. 1. 0. 0. 1.89 0. 1.29
time (sec) N/A 0.132 0.111 0.082 0. 2.215 0. 1.198


















Problem 409 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 123 123 163 0 0 425 0 801
normalized size 1 1. 1.33 0. 0. 3.46 0. 6.51
time (sec) N/A 0.168 0.11 0.087 0. 2.253 0. 1.243


















Problem 410 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 169 169 189 0 0 1053 0 4699
normalized size 1 1. 1.12 0. 0. 6.23 0. 27.8
time (sec) N/A 0.223 0.181 0.083 0. 2.275 0. 1.403


















Problem 411 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 219 219 190 0 0 0 0 0
normalized size 1 1. 0.87 0. 0. 0. 0. 0.
time (sec) N/A 0.368 0.311 0.6 0. 0. 0. 0.


















Problem 412 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 176 176 160 0 0 0 0 0
normalized size 1 1. 0.91 0. 0. 0. 0. 0.
time (sec) N/A 0.276 0.061 0.566 0. 0. 0. 0.


















Problem 413 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 139 139 134 0 0 0 0 0
normalized size 1 1. 0.96 0. 0. 0. 0. 0.
time (sec) N/A 0.22 0.062 0.081 0. 0. 0. 0.


















Problem 414 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 104 104 104 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.182 0.021 0.089 0. 0. 0. 0.


















Problem 415 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 147 147 181 0 0 0 0 0
normalized size 1 1. 1.23 0. 0. 0. 0. 0.
time (sec) N/A 0.246 0.214 0.57 0. 0. 0. 0.


















Problem 416 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 194 194 211 0 0 0 0 0
normalized size 1 1. 1.09 0. 0. 0. 0. 0.
time (sec) N/A 0.312 0.315 0.549 0. 0. 0. 0.


















Problem 417 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 237 237 272 0 0 0 0 0
normalized size 1 1. 1.15 0. 0. 0. 0. 0.
time (sec) N/A 0.385 0.42 0.554 0. 0. 0. 0.


















Problem 418 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 131 131 131 0 0 192 0 0
normalized size 1 1. 1. 0. 0. 1.47 0. 0.
time (sec) N/A 0.147 0.163 0.145 0. 2.455 0. 0.


















Problem 419 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 109 109 109 0 95 0 0 0
normalized size 1 1. 1. 0. 0.87 0. 0. 0.
time (sec) N/A 0.139 0.109 0.426 1.319 0. 0. 0.


















Problem 420 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 158 158 232 0 410 861 546 1413
normalized size 1 1. 1.47 0. 2.59 5.45 3.46 8.94
time (sec) N/A 0.164 0.292 0.662 1.124 2.08 24.796 1.236


















Problem 421 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 128 128 156 0 273 583 342 790
normalized size 1 1. 1.22 0. 2.13 4.55 2.67 6.17
time (sec) N/A 0.125 0.179 0.497 1.205 1.911 9.847 1.193


















Problem 422 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 113 0 151 339 187 350
normalized size 1 1. 1.15 0. 1.54 3.46 1.91 3.57
time (sec) N/A 0.081 0.059 0.278 1.042 2.114 3.479 1.294


















Problem 423 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 34 42 61 124 58 86
normalized size 1 1. 1. 1.24 1.79 3.65 1.71 2.53
time (sec) N/A 0.029 0.008 0.066 1.061 2.234 0.928 1.298


















Problem 424 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 67 0 0 0 0 0
normalized size 1 1. 0.99 0. 0. 0. 0. 0.
time (sec) N/A 0.112 0.013 0.729 0. 0. 0. 0.


















Problem 425 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 69 0 122 262 1583 174
normalized size 1 1. 0.86 0. 1.52 3.28 19.79 2.17
time (sec) N/A 0.076 0.103 0.665 1.055 2.317 12.169 1.3


















Problem 426 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 119 119 88 0 232 667 0 485
normalized size 1 1. 0.74 0. 1.95 5.61 0. 4.08
time (sec) N/A 0.129 0.147 0.664 1.06 2.237 0. 1.151


















Problem 427 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 149 149 115 0 413 1169 0 868
normalized size 1 1. 0.77 0. 2.77 7.85 0. 5.83
time (sec) N/A 0.167 0.195 0.661 1.208 2.11 0. 1.181


















Problem 428 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 409 325 400 0 1208 3548 2623 5316
normalized size 1 0.79 0.98 0. 2.95 8.67 6.41 13.
time (sec) N/A 1.038 0.269 0.499 1.315 2.749 116.264 1.513


















Problem 429 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 323 264 277 0 817 2348 1692 3025
normalized size 1 0.82 0.86 0. 2.53 7.27 5.24 9.37
time (sec) N/A 0.835 0.172 0.5 1.111 2.247 31.549 1.402


















Problem 430 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 211 211 164 0 470 1320 879 1369
normalized size 1 1. 0.78 0. 2.23 6.26 4.17 6.49
time (sec) N/A 0.389 0.088 0.285 1.169 2.189 11.304 1.293


















Problem 431 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 69 0 200 516 343 409
normalized size 1 1. 0.88 0. 2.56 6.62 4.4 5.24
time (sec) N/A 0.096 0.016 0.279 1.148 1.91 3.278 1.261


















Problem 432 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 123 123 324 0 0 0 0 0
normalized size 1 1. 2.63 0. 0. 0. 0. 0.
time (sec) N/A 0.265 0.164 0.697 0. 0. 0. 0.


















Problem 433 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 144 144 200 0 0 0 0 0
normalized size 1 1. 1.39 0. 0. 0. 0. 0.
time (sec) N/A 0.2 0.229 0.661 0. 0. 0. 0.


















Problem 434 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 222 257 316 0 0 0 0 0
normalized size 1 1.16 1.42 0. 0. 0. 0. 0.
time (sec) N/A 0.817 0.528 0.678 0. 0. 0. 0.


















Problem 435 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 492 492 378 0 1681 6372 5008 7974
normalized size 1 1. 0.77 0. 3.42 12.95 10.18 16.21
time (sec) N/A 0.948 0.275 0.507 1.411 3.127 124.17 1.676


















Problem 436 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 306 306 231 0 988 3510 2756 3668
normalized size 1 1. 0.75 0. 3.23 11.47 9.01 11.99
time (sec) N/A 0.534 0.123 0.279 1.205 2.368 31.655 1.455


















Problem 437 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 121 121 100 0 428 1374 1023 1110
normalized size 1 1. 0.83 0. 3.54 11.36 8.45 9.17
time (sec) N/A 0.141 0.025 0.274 1.123 2.072 9.306 1.318


















Problem 438 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 177 177 646 0 0 0 0 0
normalized size 1 1. 3.65 0. 0. 0. 0. 0.
time (sec) N/A 0.412 0.265 0.715 0. 0. 0. 0.


















Problem 439 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 209 209 444 0 0 0 0 0
normalized size 1 1. 2.12 0. 0. 0. 0. 0.
time (sec) N/A 0.366 0.586 0.674 0. 0. 0. 0.


















Problem 440 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 376 408 660 0 0 0 0 0
normalized size 1 1.09 1.76 0. 0. 0. 0. 0.
time (sec) N/A 1.39 1.039 0.681 0. 0. 0. 0.


















Problem 441 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 160 160 132 0 755 2973 2390 2433
normalized size 1 1. 0.82 0. 4.72 18.58 14.94 15.21
time (sec) N/A 0.201 0.058 0.282 1.242 2.273 26.454 1.347


















Problem 442 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 231 231 1095 0 0 0 0 0
normalized size 1 1. 4.74 0. 0. 0. 0. 0.
time (sec) N/A 0.534 0.426 0.719 0. 0. 0. 0.


















Problem 443 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 274 274 1301 0 0 0 0 0
normalized size 1 1. 4.75 0. 0. 0. 0. 0.
time (sec) N/A 0.525 0.577 0.686 0. 0. 0. 0.


















Problem 444 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 29 29 29 36 54 101 53 78
normalized size 1 1. 1. 1.24 1.86 3.48 1.83 2.69
time (sec) N/A 0.023 0.01 0.066 1.124 1.951 0.917 1.266


















Problem 445 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 279 279 252 0 0 597 0 707
normalized size 1 1. 0.9 0. 0. 2.14 0. 2.53
time (sec) N/A 0.779 0.815 0.5 0. 2.031 0. 1.396


















Problem 446 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 179 179 164 0 0 351 0 340
normalized size 1 1. 0.92 0. 0. 1.96 0. 1.9
time (sec) N/A 0.416 0.261 0.266 0. 1.964 0. 1.251


















Problem 447 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 83 83 0 0 157 0 107
normalized size 1 1. 1. 0. 0. 1.89 0. 1.29
time (sec) N/A 0.119 0.062 0.271 0. 1.942 0. 1.304


















Problem 448 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.07 0.259 0.679 0. 0. 0. 0.


















Problem 449 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.066 0.791 0.675 0. 0. 0. 0.


















Problem 450 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 326 326 1310 0 0 1366 0 5462
normalized size 1 1. 4.02 0. 0. 4.19 0. 16.75
time (sec) N/A 1.292 0.939 0.49 0. 2.028 0. 1.821


















Problem 451 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 224 224 269 0 0 811 0 2657
normalized size 1 1. 1.2 0. 0. 3.62 0. 11.86
time (sec) N/A 0.621 0.434 0.265 0. 2.043 0. 1.461


















Problem 452 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 123 123 163 0 0 425 0 801
normalized size 1 1. 1.33 0. 0. 3.46 0. 6.51
time (sec) N/A 0.161 0.115 0.266 0. 1.889 0. 1.333


















Problem 453 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.065 1.326 0.657 0. 0. 0. 0.


















Problem 454 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.062 18.273 0.665 0. 0. 0. 0.


















Problem 455 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F B F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 432 432 438 0 0 3706 0 0
normalized size 1 1. 1.01 0. 0. 8.58 0. 0.
time (sec) N/A 2.134 2.291 0.491 0. 2.421 0. 0.


















Problem 456 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 322 322 322 0 0 2130 0 15570
normalized size 1 1. 1. 0. 0. 6.61 0. 48.35
time (sec) N/A 0.926 0.736 0.267 0. 2.192 0. 2.152


















Problem 457 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 169 169 189 0 0 1053 0 4699
normalized size 1 1. 1.12 0. 0. 6.23 0. 27.8
time (sec) N/A 0.215 0.203 0.263 0. 1.943 0. 1.493


















Problem 458 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.065 1.668 0.655 0. 0. 0. 0.


















Problem 459 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.063 38.858 0.648 0. 0. 0. 0.


















Problem 460 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 488 488 458 0 0 0 0 0
normalized size 1 1. 0.94 0. 0. 0. 0. 0.
time (sec) N/A 1.615 0.677 0.888 0. 0. 0. 0.


















Problem 461 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 311 311 298 0 0 0 0 0
normalized size 1 1. 0.96 0. 0. 0. 0. 0.
time (sec) N/A 0.811 0.39 0.27 0. 0. 0. 0.


















Problem 462 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 139 139 134 0 0 0 0 0
normalized size 1 1. 0.96 0. 0. 0. 0. 0.
time (sec) N/A 0.223 0.063 0.258 0. 0. 0. 0.


















Problem 463 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 32 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.096 1.215 0.627 0. 0. 0. 0.


















Problem 464 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 32 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.149 0.367 0.65 0. 0. 0. 0.


















Problem 465 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 625 625 545 0 0 0 0 0
normalized size 1 1. 0.87 0. 0. 0. 0. 0.
time (sec) N/A 1.916 1.391 0.487 0. 0. 0. 0.


















Problem 466 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 396 396 348 0 0 0 0 0
normalized size 1 1. 0.88 0. 0. 0. 0. 0.
time (sec) N/A 1.018 0.567 0.272 0. 0. 0. 0.


















Problem 467 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 176 176 160 0 0 0 0 0
normalized size 1 1. 0.91 0. 0. 0. 0. 0.
time (sec) N/A 0.27 0.203 0.258 0. 0. 0. 0.


















Problem 468 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 32 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.116 1.948 0.654 0. 0. 0. 0.


















Problem 469 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 32 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.163 2.182 0.635 0. 0. 0. 0.


















Problem 470 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 355 355 315 0 0 0 0 0
normalized size 1 1. 0.89 0. 0. 0. 0. 0.
time (sec) N/A 1.307 0.332 0.491 0. 0. 0. 0.


















Problem 471 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 229 229 208 0 0 0 0 0
normalized size 1 1. 0.91 0. 0. 0. 0. 0.
time (sec) N/A 0.666 0.181 0.267 0. 0. 0. 0.


















Problem 472 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 104 104 104 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.179 0.022 0.269 0. 0. 0. 0.


















Problem 473 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 32 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.104 0.111 0.678 0. 0. 0. 0.


















Problem 474 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 404 404 1040 0 0 0 0 0
normalized size 1 1. 2.57 0. 0. 0. 0. 0.
time (sec) N/A 2.25 2.489 0.887 0. 0. 0. 0.


















Problem 475 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 275 275 435 0 0 0 0 0
normalized size 1 1. 1.58 0. 0. 0. 0. 0.
time (sec) N/A 1.012 1.345 0.263 0. 0. 0. 0.


















Problem 476 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 147 147 181 0 0 0 0 0
normalized size 1 1. 1.23 0. 0. 0. 0. 0.
time (sec) N/A 0.248 0.173 0.268 0. 0. 0. 0.


















Problem 477 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 32 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.123 0.455 0.676 0. 0. 0. 0.


















Problem 478 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 514 514 652 0 0 0 0 0
normalized size 1 1. 1.27 0. 0. 0. 0. 0.
time (sec) N/A 3.856 6.592 0.83 0. 0. 0. 0.


















Problem 479 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 380 380 491 0 0 0 0 0
normalized size 1 1. 1.29 0. 0. 0. 0. 0.
time (sec) N/A 1.598 2.306 0.273 0. 0. 0. 0.


















Problem 480 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 194 194 211 0 0 0 0 0
normalized size 1 1. 1.09 0. 0. 0. 0. 0.
time (sec) N/A 0.339 0.326 0.273 0. 0. 0. 0.


















Problem 481 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 32 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.13 0.834 0.68 0. 0. 0. 0.


















Problem 482 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 171 171 153 0 0 1412 0 0
normalized size 1 1. 0.89 0. 0. 8.26 0. 0.
time (sec) N/A 0.335 0.378 0.956 0. 2.761 0. 0.


















Problem 483 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 139 139 124 0 0 844 144 0
normalized size 1 1. 0.89 0. 0. 6.07 1.04 0.
time (sec) N/A 0.183 0.184 0.688 0. 2.643 7.49 0.


















Problem 484 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 103 103 89 155 0 483 347 173
normalized size 1 1. 0.86 1.5 0. 4.69 3.37 1.68
time (sec) N/A 0.137 0.289 0.335 0. 2.522 25.149 1.259


















Problem 485 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 86 86 84 0 0 563 90 134
normalized size 1 1. 0.98 0. 0. 6.55 1.05 1.56
time (sec) N/A 0.126 0.158 0.737 0. 2.563 44.145 1.26


















Problem 486 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 120 120 91 0 0 1034 0 286
normalized size 1 1. 0.76 0. 0. 8.62 0. 2.38
time (sec) N/A 0.16 0.099 0.677 0. 2.688 0. 1.344


















Problem 487 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 152 152 91 0 0 1859 0 510
normalized size 1 1. 0.6 0. 0. 12.23 0. 3.36
time (sec) N/A 0.199 0.087 0.711 0. 2.853 0. 1.421


















Problem 488 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 184 184 91 0 0 2865 0 0
normalized size 1 1. 0.49 0. 0. 15.57 0. 0.
time (sec) N/A 0.278 0.102 0.713 0. 3.176 0. 0.


















Problem 489 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 635 635 2450 0 0 0 0 0
normalized size 1 1. 3.86 0. 0. 0. 0. 0.
time (sec) N/A 4.348 8.829 0.703 0. 0. 0. 0.


















Problem 490 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 547 547 365 0 0 0 0 0
normalized size 1 1. 0.67 0. 0. 0. 0. 0.
time (sec) N/A 2.983 2.124 0.72 0. 0. 0. 0.


















Problem 491 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 447 447 646 0 0 0 0 0
normalized size 1 1. 1.45 0. 0. 0. 0. 0.
time (sec) N/A 2.217 1.605 0.667 0. 0. 0. 0.


















Problem 492 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 330 330 356 0 0 0 0 0
normalized size 1 1. 1.08 0. 0. 0. 0. 0.
time (sec) N/A 1.62 3.692 0.669 0. 0. 0. 0.


















Problem 493 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 449 449 657 0 0 0 0 0
normalized size 1 1. 1.46 0. 0. 0. 0. 0.
time (sec) N/A 2.378 6.18 0.674 0. 0. 0. 0.


















Problem 494 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 537 537 1183 0 0 0 0 0
normalized size 1 1. 2.2 0. 0. 0. 0. 0.
time (sec) N/A 3.084 7.74 0.63 0. 0. 0. 0.


















Problem 495 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 625 625 1249 0 0 0 0 0
normalized size 1 1. 2. 0. 0. 0. 0. 0.
time (sec) N/A 3.927 7.797 0.623 0. 0. 0. 0.


















Problem 496 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 32 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.088 1.232 0.651 0. 0. 0. 0.


















Problem 497 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 32 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.078 1.057 0.652 0. 0. 0. 0.


















Problem 498 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 32 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.082 1.516 0.621 0. 0. 0. 0.


















Problem 499 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 32 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.087 1.691 0.65 0. 0. 0. 0.


















Problem 500 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 34 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.332 1.715 0.964 0. 0. 0. 0.


















Problem 501 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 34 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.31 1.963 0.657 0. 0. 0. 0.


















Problem 502 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 34 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.324 1.619 0.621 0. 0. 0. 0.


















Problem 503 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 34 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.112 7.354 0.654 0. 0. 0. 0.


















Problem 504 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 34 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.117 3.932 0.973 0. 0. 0. 0.


















Problem 505 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 34 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.12 0.973 1.007 0. 0. 0. 0.


















Problem 506 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 99 99 86 0 0 0 0 0
normalized size 1 1. 0.87 0. 0. 0. 0. 0.
time (sec) N/A 0.106 0.12 0.713 0. 0. 0. 0.


















Problem 507 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.057 0.399 0.654 0. 0. 0. 0.


















Problem 508 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.055 2.431 0.649 0. 0. 0. 0.


















Problem 509 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 32 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.111 9.132 0.653 0. 0. 0. 0.


















Problem 510 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 32 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.09 0.079 0.626 0. 0. 0. 0.


















Problem 511 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 32 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.097 3.826 0.635 0. 0. 0. 0.


















Problem 512 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 32 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.114 3.752 0.635 0. 0. 0. 0.


















Problem 513 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-2) F(-2) F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.055 0.649 0.86 0. 0. 0. 0.


















Problem 514 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 432 432 326 0 0 0 0 0
normalized size 1 1. 0.75 0. 0. 0. 0. 0.
time (sec) N/A 0.957 1.032 0.51 0. 0. 0. 0.


















Problem 515 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 281 281 227 0 0 0 0 0
normalized size 1 1. 0.81 0. 0. 0. 0. 0.
time (sec) N/A 0.529 0.35 0.308 0. 0. 0. 0.


















Problem 516 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 131 131 131 0 0 192 0 0
normalized size 1 1. 1. 0. 0. 1.47 0. 0.
time (sec) N/A 0.151 0.121 0.278 0. 2.029 0. 0.


















Problem 517 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-2) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.062 0.35 0.678 0. 0. 0. 0.


















Problem 518 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 249 249 190 0 0 0 0 0
normalized size 1 1. 0.76 0. 0. 0. 0. 0.
time (sec) N/A 0.504 0.137 0.731 0. 0. 0. 0.


















Problem 519 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 335 335 284 0 0 0 0 0
normalized size 1 1. 0.85 0. 0. 0. 0. 0.
time (sec) N/A 0.832 0.224 0.662 0. 0. 0. 0.


















Problem 520 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F(-2) F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 515 515 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 1.201 3.593 0.664 0. 0. 0. 0.


















Problem 521 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 287 287 316 0 0 0 0 0
normalized size 1 1. 1.1 0. 0. 0. 0. 0.
time (sec) N/A 1.059 0.029 0.962 0. 0. 0. 0.


















Problem 522 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 519 519 1083 0 0 0 0 0
normalized size 1 1. 2.09 0. 0. 0. 0. 0.
time (sec) N/A 1.411 4.461 1.06 0. 0. 0. 0.


















Problem 523 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 427 427 386 0 0 0 0 0
normalized size 1 1. 0.9 0. 0. 0. 0. 0.
time (sec) N/A 0.817 0.687 0.856 0. 0. 0. 0.


















Problem 524 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 258 258 231 0 0 0 0 0
normalized size 1 1. 0.9 0. 0. 0. 0. 0.
time (sec) N/A 0.545 0.296 0.865 0. 0. 0. 0.


















Problem 525 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 129 129 120 0 0 0 0 0
normalized size 1 1. 0.93 0. 0. 0. 0. 0.
time (sec) N/A 0.332 0.119 0.645 0. 0. 0. 0.


















Problem 526 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 67 0 0 0 0 0
normalized size 1 1. 0.99 0. 0. 0. 0. 0.
time (sec) N/A 0.112 0.007 0.06 0. 0. 0. 0.


















Problem 527 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 165 165 117 0 0 0 0 0
normalized size 1 1. 0.71 0. 0. 0. 0. 0.
time (sec) N/A 0.468 0.068 1.122 0. 0. 0. 0.


















Problem 528 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 268 268 225 0 0 0 0 0
normalized size 1 1. 0.84 0. 0. 0. 0. 0.
time (sec) N/A 0.595 0.306 1.121 0. 0. 0. 0.


















Problem 529 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 425 425 363 0 0 0 0 0
normalized size 1 1. 0.85 0. 0. 0. 0. 0.
time (sec) N/A 0.835 0.537 1.024 0. 0. 0. 0.


















Problem 530 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 519 519 927 0 0 0 0 0
normalized size 1 1. 1.79 0. 0. 0. 0. 0.
time (sec) N/A 1.344 0.692 0.856 0. 0. 0. 0.


















Problem 531 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 240 240 852 0 0 0 0 0
normalized size 1 1. 3.55 0. 0. 0. 0. 0.
time (sec) N/A 0.647 0.348 0.637 0. 0. 0. 0.


















Problem 532 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 123 123 324 0 0 0 0 0
normalized size 1 1. 2.63 0. 0. 0. 0. 0.
time (sec) N/A 0.275 0.118 0.056 0. 0. 0. 0.


















Problem 533 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 288 288 652 0 0 0 0 0
normalized size 1 1. 2.26 0. 0. 0. 0. 0.
time (sec) N/A 0.899 0.322 1.031 0. 0. 0. 0.


















Problem 534 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 463 463 654 0 0 0 0 0
normalized size 1 1. 1.41 0. 0. 0. 0. 0.
time (sec) N/A 1.183 0.946 1. 0. 0. 0. 0.


















Problem 535 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 742 742 4056 0 0 0 0 0
normalized size 1 1. 5.47 0. 0. 0. 0. 0.
time (sec) N/A 1.831 1.452 0.841 0. 0. 0. 0.


















Problem 536 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 349 349 1769 0 0 0 0 0
normalized size 1 1. 5.07 0. 0. 0. 0. 0.
time (sec) N/A 0.893 0.677 0.628 0. 0. 0. 0.


















Problem 537 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 177 177 646 0 0 0 0 0
normalized size 1 1. 3.65 0. 0. 0. 0. 0.
time (sec) N/A 0.427 0.247 0.058 0. 0. 0. 0.


















Problem 538 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 410 410 1350 0 0 0 0 0
normalized size 1 1. 3.29 0. 0. 0. 0. 0.
time (sec) N/A 1.258 0.531 1.066 0. 0. 0. 0.


















Problem 539 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 659 659 1057 0 0 0 0 0
normalized size 1 1. 1.6 0. 0. 0. 0. 0.
time (sec) N/A 1.716 1.831 1.011 0. 0. 0. 0.


















Problem 540 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 35 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.26 0.341 0.63 0. 0. 0. 0.


















Problem 541 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.071 0.029 0.057 0. 0. 0. 0.


















Problem 542 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 37 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.302 1.009 0.997 0. 0. 0. 0.


















Problem 543 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 37 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.341 4.167 0.994 0. 0. 0. 0.


















Problem 544 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 35 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.299 2.985 0.626 0. 0. 0. 0.


















Problem 545 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.067 0.177 0.062 0. 0. 0. 0.


















Problem 546 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 37 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.294 30.864 1.017 0. 0. 0. 0.


















Problem 547 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 37 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.335 48.161 1.008 0. 0. 0. 0.









2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac{\text{number of rules}}{\text{integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [397] had the largest ratio of [ 1. ]

Table 2.1Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac{\text{number of rules}}{\text{integrand leaf size}}\)







1 A 5 3 1. 10 0.3







2 A 4 3 1. 10 0.3







3 A 3 3 1. 10 0.3







4 A 2 2 1. 8 0.25







5 A 2 2 1. 10 0.2







6 A 3 3 1. 10 0.3







7 A 4 3 1. 10 0.3







8 A 5 3 1. 10 0.3







9 A 7 5 1. 12 0.417







10 A 6 5 1. 12 0.417







11 A 5 5 1. 12 0.417







12 A 4 4 1. 12 0.333







13 A 5 5 1. 12 0.417







14 A 6 5 1. 12 0.417







15 A 7 5 1. 12 0.417







16 A 3 3 1. 10 0.3







17 A 6 3 1. 16 0.188







18 A 5 3 1. 16 0.188







19 A 4 3 1. 16 0.188







20 A 3 2 1. 14 0.143







21 A 3 3 1. 16 0.188







22 A 4 4 1. 16 0.25







23 A 5 4 1. 16 0.25







24 A 7 5 1. 18 0.278







25 A 6 5 1. 18 0.278







26 A 5 5 1. 18 0.278







27 A 4 4 1. 18 0.222







28 A 5 5 1. 18 0.278







29 A 6 5 1. 18 0.278







30 A 7 5 1. 18 0.278







31 A 3 3 1. 16 0.188







32 A 3 3 1. 18 0.167







33 A 3 3 1. 22 0.136







34 A 4 4 1. 25 0.16







35 A 3 2 1. 22 0.091







36 A 3 2 1. 22 0.091







37 A 3 2 1. 22 0.091







38 A 3 2 1. 20 0.1







39 A 3 2 1. 14 0.143







40 A 3 3 1. 22 0.136







41 A 4 3 1. 22 0.136







42 A 3 2 1. 22 0.091







43 A 3 2 1. 22 0.091







44 A 6 6 0.82 24 0.25







45 A 8 7 0.85 24 0.292







46 A 9 7 1. 22 0.318







47 A 4 3 1. 16 0.188







48 A 4 4 1. 24 0.167







49 A 4 4 1. 24 0.167







50 A 9 9 1.15 24 0.375







51 A 13 11 1.09 24 0.458







52 A 19 7 1. 24 0.292







53 A 15 7 1. 24 0.292







54 A 11 7 1. 22 0.318







55 A 5 3 1. 16 0.188







56 A 5 5 1. 24 0.208







57 A 5 5 1. 24 0.208







58 A 12 11 1.08 24 0.458







59 A 21 15 0.93 24 0.625







60 A 13 7 1. 22 0.318







61 A 6 3 1. 16 0.188







62 A 6 5 1. 24 0.208







63 A 6 6 1. 24 0.25







64 A 2 2 1. 6 0.333







65 A 3 3 1. 8 0.375







66 A 4 3 1. 8 0.375







67 A 3 3 1. 9 0.333







68 A 4 4 1. 11 0.364







69 A 5 4 1. 11 0.364







70 A 2 2 1. 10 0.2







71 A 2 2 1. 27 0.074







72 A 2 2 1. 18 0.111







73 A 2 2 1. 10 0.2







74 A 2 2 1. 10 0.2







75 A 1 1 1. 10 0.1







76 A 1 1 1. 8 0.125







77 A 2 2 1. 10 0.2







78 A 2 2 1. 10 0.2







79 A 2 2 1. 14 0.143







80 A 2 2 1. 14 0.143







81 A 2 2 1. 14 0.143







82 A 1 1 1. 12 0.083







83 A 2 2 1. 14 0.143







84 A 2 2 1. 14 0.143







85 A 7 7 0.83 16 0.438







86 A 13 11 1.09 16 0.688







87 A 14 7 1. 16 0.438







88 A 14 6 1. 24 0.25







89 A 11 6 1. 24 0.25







90 A 8 6 1. 22 0.273







91 A 3 3 1. 16 0.188







92 A 0 0 0. 0 0.







93 A 0 0 0. 0 0.







94 A 26 7 1. 24 0.292







95 A 20 7 1. 24 0.292







96 A 12 7 1. 22 0.318







97 A 4 4 1. 16 0.25







98 A 0 0 0. 0 0.







99 A 0 0 0. 0 0.







100 A 33 7 1. 24 0.292







101 A 17 8 1. 22 0.364







102 A 5 4 1. 16 0.25







103 A 0 0 0. 0 0.







104 A 0 0 0. 0 0.







105 A 17 9 1. 26 0.346







106 A 12 9 1. 24 0.375







107 A 5 5 1. 18 0.278







108 A 0 0 0. 0 0.







109 A 0 0 0. 0 0.







110 A 0 0 0. 0 0.







111 A 20 9 1. 26 0.346







112 A 14 9 1. 24 0.375







113 A 6 5 1. 18 0.278







114 A 0 0 0. 0 0.







115 A 0 0 0. 0 0.







116 A 0 0 0. 0 0.







117 A 23 9 1. 26 0.346







118 A 16 9 1. 24 0.375







119 A 7 5 1. 18 0.278







120 A 0 0 0. 0 0.







121 A 0 0 0. 0 0.







122 A 0 0 0. 0 0.







123 A 18 7 1. 26 0.269







124 A 14 7 1. 26 0.269







125 A 10 7 1. 24 0.292







126 A 4 4 1. 18 0.222







127 A 0 0 0. 0 0.







128 A 33 8 1. 26 0.308







129 A 25 8 1. 26 0.308







130 A 15 8 1. 24 0.333







131 A 5 5 1. 18 0.278







132 A 0 0 0. 0 0.







133 A 59 8 1. 26 0.308







134 A 41 8 1. 26 0.308







135 A 21 9 1. 24 0.375







136 A 6 5 1. 18 0.278







137 A 0 0 0. 0 0.







138 A 6 4 1. 24 0.167







139 A 5 4 1. 24 0.167







140 A 4 4 1. 24 0.167







141 A 3 3 1. 24 0.125







142 A 4 4 1. 24 0.167







143 A 5 4 1. 24 0.167







144 A 6 4 1. 24 0.167







145 A 28 15 1. 26 0.577







146 A 21 15 1. 26 0.577







147 A 15 15 1. 26 0.577







148 A 10 12 1. 26 0.462







149 A 14 14 1. 26 0.538







150 A 19 15 1. 26 0.577







151 A 25 15 1. 26 0.577







152 A 0 0 0. 0 0.







153 A 0 0 0. 0 0.







154 A 0 0 0. 0 0.







155 A 0 0 0. 0 0.







156 A 0 0 0. 0 0.







157 A 0 0 0. 0 0.







158 A 0 0 0. 0 0.







159 A 0 0 0. 0 0.







160 A 0 0 0. 0 0.







161 A 0 0 0. 0 0.







162 A 2 2 1. 22 0.091







163 A 0 0 0. 0 0.







164 A 0 0 0. 0 0.







165 A 0 0 0. 0 0.







166 A 0 0 0. 0 0.







167 A 0 0 0. 0 0.







168 A 0 0 0. 0 0.







169 A 0 0 0. 0 0.







170 A 14 6 1. 24 0.25







171 A 11 6 1. 24 0.25







172 A 8 6 1. 22 0.273







173 A 3 3 1. 16 0.188







174 A 0 0 0. 0 0.







175 A 6 5 0.83 30 0.167







176 A 8 6 0.84 30 0.2







177 A 7 6 0.85 30 0.2







178 A 6 5 1. 28 0.179







179 A 3 3 1. 23 0.13







180 A 6 6 1.33 30 0.2







181 A 9 9 1.2 30 0.3







182 A 13 11 1.13 30 0.367







183 A 30 15 1.16 32 0.469







184 A 24 15 0.99 32 0.469







185 A 16 10 1. 32 0.312







186 A 8 7 1. 30 0.233







187 A 4 4 1. 25 0.16







188 A 8 8 1.18 32 0.25







189 A 12 11 1.1 32 0.344







190 A 21 15 0.93 32 0.469







191 A 14 8 1. 32 0.25







192 A 12 8 1. 32 0.25







193 A 10 8 1. 32 0.25







194 A 8 7 1. 30 0.233







195 A 4 4 1. 25 0.16







196 A 0 0 0. 0 0.







197 A 0 0 0. 0 0.







198 A 27 14 1. 31 0.452







199 A 20 14 1. 31 0.452







200 A 14 14 1. 31 0.452







201 A 9 11 1. 31 0.355







202 A 13 13 1. 31 0.419







203 A 18 14 1. 31 0.452







204 A 20 14 1. 23 0.609







205 A 14 14 1. 23 0.609







206 A 9 11 1. 23 0.478







207 A 13 13 1. 23 0.565







208 A 18 14 1. 23 0.609







209 A 0 0 0. 0 0.







210 A 12 8 1. 32 0.25







211 A 10 8 1. 32 0.25







212 A 8 7 1. 30 0.233







213 A 4 4 1. 25 0.16







214 A 0 0 0. 0 0.







215 A 0 0 0. 0 0.







216 A 0 0 0. 0 0.







217 A 14 8 1. 29 0.276







218 A 11 8 1. 29 0.276







219 A 8 6 1. 27 0.222







220 A 3 3 1. 22 0.136







221 A 8 4 1. 29 0.138







222 A 12 7 1. 29 0.241







223 A 15 8 1. 29 0.276







224 A 19 12 1. 31 0.387







225 A 10 8 1. 29 0.276







226 A 4 4 1. 24 0.167







227 A 10 5 1. 31 0.161







228 A 14 9 1. 31 0.29







229 A 23 13 1. 31 0.419







230 A 12 9 1. 29 0.31







231 A 5 5 1. 24 0.208







232 A 12 6 1. 31 0.194







233 A 17 7 1. 31 0.226







234 A 0 0 0. 0 0.







235 A 0 0 0. 0 0.







236 A 0 0 0. 0 0.







237 A 0 0 0. 0 0.







238 A 0 0 0. 0 0.







239 A 0 0 0. 0 0.







240 A 0 0 0. 0 0.







241 A 0 0 0. 0 0.







242 A 14 8 1. 25 0.32







243 A 11 8 1. 25 0.32







244 A 8 7 1. 23 0.304







245 A 3 3 1. 22 0.136







246 A 7 8 1. 25 0.32







247 A 11 10 1. 25 0.4







248 A 14 10 1. 25 0.4







249 A 15 10 1. 25 0.4







250 A 12 10 1. 25 0.4







251 A 9 8 1. 23 0.348







252 A 4 3 1. 22 0.136







253 A 11 9 1. 25 0.36







254 A 15 10 1. 25 0.4







255 A 18 10 1. 25 0.4







256 A 16 8 1. 27 0.296







257 A 13 8 1. 27 0.296







258 A 8 5 1. 25 0.2







259 A 12 10 1. 27 0.37







260 A 15 9 1. 27 0.333







261 A 16 11 1. 27 0.407







262 A 13 9 1. 27 0.333







263 A 8 4 1. 24 0.167







264 A 14 11 1. 27 0.407







265 A 17 12 1. 27 0.444







266 A 19 13 1. 27 0.482







267 A 16 12 1. 27 0.444







268 A 6 6 1. 25 0.24







269 A 18 13 1. 27 0.482







270 A 21 14 1. 27 0.518







271 A 31 13 1. 27 0.482







272 A 28 10 1. 27 0.37







273 A 18 7 1. 24 0.292







274 A 32 12 1. 27 0.444







275 A 10 8 1. 26 0.308







276 A 11 9 1. 26 0.346







277 A 9 7 1. 34 0.206







278 A 11 9 1. 34 0.265







279 A 2 2 1. 26 0.077







280 A 4 4 1. 25 0.16







281 A 4 4 1. 30 0.133







282 A 4 4 1. 29 0.138







283 A 16 8 1. 19 0.421







284 A 11 5 1. 19 0.263







285 A 15 10 1. 19 0.526







286 A 18 9 1. 19 0.474







287 A 16 13 1. 19 0.684







288 A 15 14 1. 19 0.737







289 A 11 10 1. 17 0.588







290 A 11 4 1. 16 0.25







291 A 17 14 1. 19 0.737







292 A 16 14 1. 19 0.737







293 A 23 8 1. 19 0.421







294 A 18 5 1. 19 0.263







295 A 22 10 1. 19 0.526







296 A 23 10 1. 19 0.526







297 A 18 7 1. 17 0.412







298 A 23 10 1. 19 0.526







299 A 22 14 1. 19 0.737







300 A 18 11 1. 19 0.579







301 A 18 4 1. 16 0.25







302 A 24 16 1. 19 0.842







303 A 4 3 1. 23 0.13







304 A 4 3 1. 27 0.111







305 A 4 3 1. 27 0.111







306 A 4 4 1. 27 0.148







307 A 5 4 1. 27 0.148







308 A 4 3 1. 27 0.111







309 A 12 6 1. 16 0.375







310 A 28 19 0.9 29 0.655







311 A 21 12 1. 29 0.414







312 A 10 5 1. 27 0.185







313 A 16 5 1. 29 0.172







314 A 25 14 1.04 29 0.483







315 A 23 16 0.92 29 0.552







316 A 16 9 1. 29 0.31







317 A 10 5 1. 26 0.192







318 A 15 9 1. 29 0.31







319 A 28 20 1.03 29 0.69







320 A 34 18 1. 29 0.621







321 A 25 12 1. 29 0.414







322 A 13 7 1. 27 0.259







323 A 29 12 1. 29 0.414







324 A 38 19 1.02 29 0.655







325 A 36 13 1. 29 0.448







326 A 32 10 1. 29 0.345







327 A 20 9 1. 26 0.346







328 A 35 11 1. 29 0.379







329 A 12 6 1. 22 0.273







330 A 10 5 1. 22 0.227







331 A 8 4 1. 20 0.2







332 A 0 0 0. 0 0.







333 A 4 4 1. 32 0.125







334 A 5 5 1. 36 0.139







335 A 4 4 1. 38 0.105







336 A 5 5 1. 38 0.132







337 A 2 2 1. 26 0.077







338 A 4 4 1. 27 0.148







339 A 1 1 1. 38 0.026







340 A 2 2 1. 39 0.051







341 A 1 1 1. 34 0.029







342 A 3 3 1. 35 0.086







343 A 13 7 1. 24 0.292







344 A 11 6 1. 24 0.25







345 A 8 9 1. 22 0.409







346 A 0 0 0. 0 0.







347 A 12 6 1. 25 0.24







348 A 10 5 1. 25 0.2







349 A 8 4 1. 23 0.174







350 A 0 0 0. 0 0.







351 A 10 5 1. 18 0.278







352 A 9 4 1. 18 0.222







353 A 6 3 1. 16 0.188







354 A 6 3 1. 15 0.2







355 A 9 4 1. 18 0.222







356 A 10 5 1. 18 0.278







357 A 11 5 1. 18 0.278







358 A 11 7 1. 24 0.292







359 A 10 7 1. 24 0.292







360 A 9 7 1. 22 0.318







361 A 8 6 1. 21 0.286







362 A 4 4 1. 24 0.167







363 A 8 8 1.18 24 0.333







364 A 9 7 1.12 24 0.292







365 A 10 7 1.1 24 0.292







366 A 11 7 1.08 24 0.292







367 A 50 22 1.28 26 0.846







368 A 38 16 1. 24 0.667







369 A 17 12 1. 23 0.522







370 F 0 0 N/A 0 N/A







371 F 0 0 N/A 0 N/A







372 F 0 0 N/A 0 N/A







373 A 28 13 1. 23 0.565







374 F 0 0 N/A 0 N/A







375 A 0 0 0. 0 0.







376 A 0 0 0. 0 0.







377 A 0 0 0. 0 0.







378 A 1 1 1. 16 0.062







379 A 13 7 1. 32 0.219







380 A 13 7 1.05 30 0.233







381 A 11 5 1.18 29 0.172







382 A 11 6 1.39 32 0.188







383 A 11 6 1.76 32 0.188







384 A 17 9 1.7 32 0.281







385 A 25 11 1.56 32 0.344







386 A 35 9 1. 32 0.281







387 A 29 9 1. 32 0.281







388 A 23 9 1. 30 0.3







389 A 17 8 1. 29 0.276







390 A 13 5 1. 32 0.156







391 A 15 9 1. 32 0.281







392 A 23 11 1. 32 0.344







393 A 73 27 0.97 32 0.844







394 A 41 19 1. 31 0.613







395 A 0 0 0. 0 0.







396 A 0 0 0. 0 0.







397 A 148 32 1. 32 1.







398 A 64 22 1. 31 0.71







399 A 0 0 0. 0 0.







400 A 0 0 0. 0 0.







401 A 3 3 1. 40 0.075







402 A 4 4 1. 28 0.143







403 A 4 4 1. 32 0.125







404 A 7 4 1. 20 0.2







405 A 6 4 1. 20 0.2







406 A 5 4 1. 20 0.2







407 A 4 3 1. 18 0.167







408 A 4 4 1. 20 0.2







409 A 5 5 1. 20 0.25







410 A 6 5 1. 20 0.25







411 A 8 6 1. 22 0.273







412 A 7 6 1. 22 0.273







413 A 6 6 1. 22 0.273







414 A 5 5 1. 22 0.227







415 A 6 6 1. 22 0.273







416 A 7 6 1. 22 0.273







417 A 8 6 1. 22 0.273







418 A 4 4 1. 20 0.2







419 A 4 4 1. 24 0.167







420 A 4 3 1. 26 0.115







421 A 4 3 1. 26 0.115







422 A 4 3 1. 24 0.125







423 A 4 3 1. 18 0.167







424 A 4 4 1. 26 0.154







425 A 5 4 1. 26 0.154







426 A 4 3 1. 26 0.115







427 A 4 3 1. 26 0.115







428 A 7 7 0.79 28 0.25







429 A 9 8 0.82 28 0.286







430 A 10 8 1. 26 0.308







431 A 5 4 1. 20 0.2







432 A 5 5 1. 28 0.179







433 A 5 5 1. 28 0.179







434 A 10 10 1.16 28 0.357







435 A 16 8 1. 28 0.286







436 A 12 8 1. 26 0.308







437 A 6 4 1. 20 0.2







438 A 6 6 1. 28 0.214







439 A 6 6 1. 28 0.214







440 A 13 12 1.09 28 0.429







441 A 7 4 1. 20 0.2







442 A 7 6 1. 28 0.214







443 A 7 7 1. 28 0.25







444 A 3 3 1. 14 0.214







445 A 12 7 1. 28 0.25







446 A 9 7 1. 26 0.269







447 A 4 4 1. 20 0.2







448 A 0 0 0. 0 0.







449 A 0 0 0. 0 0.







450 A 21 8 1. 28 0.286







451 A 13 8 1. 26 0.308







452 A 5 5 1. 20 0.25







453 A 0 0 0. 0 0.







454 A 0 0 0. 0 0.







455 A 34 8 1. 28 0.286







456 A 18 9 1. 26 0.346







457 A 6 5 1. 20 0.25







458 A 0 0 0. 0 0.







459 A 0 0 0. 0 0.







460 A 18 10 1. 30 0.333







461 A 13 10 1. 28 0.357







462 A 6 6 1. 22 0.273







463 A 0 0 0. 0 0.







464 A 0 0 0. 0 0.







465 A 21 10 1. 30 0.333







466 A 15 10 1. 28 0.357







467 A 7 6 1. 22 0.273







468 A 0 0 0. 0 0.







469 A 0 0 0. 0 0.







470 A 15 8 1. 30 0.267







471 A 11 8 1. 28 0.286







472 A 5 5 1. 22 0.227







473 A 0 0 0. 0 0.







474 A 26 9 1. 30 0.3







475 A 16 9 1. 28 0.321







476 A 6 6 1. 22 0.273







477 A 0 0 0. 0 0.







478 A 42 9 1. 30 0.3







479 A 22 10 1. 28 0.357







480 A 7 6 1. 22 0.273







481 A 0 0 0. 0 0.







482 A 7 5 1. 28 0.179







483 A 6 5 1. 28 0.179







484 A 5 5 1. 28 0.179







485 A 4 4 1. 28 0.143







486 A 5 5 1. 28 0.179







487 A 6 5 1. 28 0.179







488 A 7 5 1. 28 0.179







489 A 29 16 1. 30 0.533







490 A 22 16 1. 30 0.533







491 A 16 16 1. 30 0.533







492 A 11 13 1. 30 0.433







493 A 15 15 1. 30 0.5







494 A 20 16 1. 30 0.533







495 A 26 16 1. 30 0.533







496 A 0 0 0. 0 0.







497 A 0 0 0. 0 0.







498 A 0 0 0. 0 0.







499 A 0 0 0. 0 0.







500 A 0 0 0. 0 0.







501 A 0 0 0. 0 0.







502 A 0 0 0. 0 0.







503 A 0 0 0. 0 0.







504 A 0 0 0. 0 0.







505 A 0 0 0. 0 0.







506 A 3 3 1. 26 0.115







507 A 0 0 0. 0 0.







508 A 0 0 0. 0 0.







509 A 0 0 0. 0 0.







510 A 0 0 0. 0 0.







511 A 0 0 0. 0 0.







512 A 0 0 0. 0 0.







513 A 0 0 0. 0 0.







514 A 12 7 1. 28 0.25







515 A 9 7 1. 26 0.269







516 A 4 4 1. 20 0.2







517 A 0 0 0. 0 0.







518 A 9 5 1. 28 0.179







519 A 11 9 1. 30 0.3







520 A 12 10 1. 30 0.333







521 A 10 8 1. 38 0.21







522 A 12 10 1. 38 0.263







523 A 15 9 1. 33 0.273







524 A 12 9 1. 33 0.273







525 A 9 7 1. 31 0.226







526 A 4 4 1. 26 0.154







527 A 9 5 1. 33 0.152







528 A 13 8 1. 33 0.242







529 A 16 9 1. 33 0.273







530 A 20 13 1. 35 0.371







531 A 11 9 1. 33 0.273







532 A 5 5 1. 28 0.179







533 A 11 6 1. 35 0.171







534 A 15 10 1. 35 0.286







535 A 24 14 1. 35 0.4







536 A 13 10 1. 33 0.303







537 A 6 6 1. 28 0.214







538 A 13 7 1. 35 0.2







539 A 18 8 1. 35 0.229







540 A 0 0 0. 0 0.







541 A 0 0 0. 0 0.







542 A 0 0 0. 0 0.







543 A 0 0 0. 0 0.







544 A 0 0 0. 0 0.







545 A 0 0 0. 0 0.







546 A 0 0 0. 0 0.







547 A 0 0 0. 0 0.